[coreboot] Patch merged into coreboot/master: bca9b9d Makefile cosmetics