[coreboot] Microcode question ?