[coreboot] Patch merged into coreboot/master: 16bd789 buildgcc: Clean up PATH handling