[coreboot] Re: Microcode in ROM is not loaded with X60s