[coreboot-gerrit] [XS] Change in coreboot[main]: Makefile: Finish switch to Makefile.mk from .inc