Re: [coreboot] Microcode CPU writeup