Yeah, this is the microcode loader on 32-bit, I've seen this last week and am working on fixing it. Andreas, as a temporary workaround, you can do echo 1 > /sys/devices/system/cpu/microcode/reload as root to update microcode on all cores. Btw, consider moving to 64-bit unless you have a seriously compelling reason not to do so. :) Thanks.