[coreboot] Patch merged into coreboot/master: 7e20b87 Allow XGCCPATH to be set on the make command line.