On 01/23/2014 02:29 PM, Borislav Petkov wrote: > On Thu, Jan 23, 2014 at 01:08:46PM -0500, Boris Ostrovsky wrote: >> So I tried this on a "good" system and I am pretty sure this is >> broken. I don't have any microcode in initrd and I am still dying in >> load_microcode_amd(). > 32-bit still or 64-bit?