[coreboot] Patch set updated for coreboot: 0c12d0c Update .gitignore