[coreboot-gerrit] Patch set updated for coreboot: coreinfo/Makefile: change $(obj) to $(coreinfo_obj)