[coreboot] Patch merged into coreboot/master: cb08954 Fix xcompile (again)