[coreboot-gerrit] Change in coreboot[master]: */Makefile.inc: Add some INTERMEDIATE targets to .PHONY