[coreboot] Patch merged into coreboot/master: dd52aa7 inteltool: remove bashism from Makefile