[coreboot] Makefile generation patch for non-native GNU make