[coreboot] Patch merged into coreboot/master: 055a3f4 Add docs and util files to .gitignore