[coreboot-gerrit] Patch merged into coreboot/master: coreinfo/Makefile: change $(obj) to $(coreinfo_obj)