[coreboot-gerrit] Patch merged into coreboot/master: 004295d xcompile: fail earlier on missing host tools