[coreboot] Patch merged into coreboot/master: ef6dfc1 Fix register corruption during Intel Microcode update