[coreboot-gerrit] New patch to review for coreboot: .gitignore: Add coreinfo build residue, defconfig