[coreboot] Patch merged into coreboot/master: d6b0889 add a few entries to .gitignore