[coreboot] Patch merged into coreboot/master: ebae438 crossgcc: Support hosts using non-GNU make as default make.