[coreboot-gerrit] Patch merged into coreboot/master: .gitignore: Add coreinfo build residue, defconfig