[coreboot] Patch merged into coreboot/master: 1b6872f Portability improvement