[coreboot] Patch merged into master: 7ebb9bf crossgcc: update w32api