[coreboot] Patch merged into coreboot/master: b8e8ccf build: build coreboot on mingw.