[coreboot] [PATCH] x86.c and x86emu/YABEL updates