[coreboot] Patch merged into coreboot/master: d864203 .gitignore ectool, inteltool, msrtool, nvramtool and superiotool