[coreboot] Microcode.bin question ?