[coreboot] Patch merged into master: e75d028 Add "gitconfig" make target to simplify gerrit configuration