[coreboot-gerrit] New patch to review for coreboot: payloads/coreinfo: Add defaultbuild target