[coreboot] Patch merged into coreboot/master: 3c84261 yabel: Use X86_* instead of the more verbose M.x86.REG_*