[coreboot-gerrit] Patch merged into coreboot/master: f394715 gitconfig: Use the right make executable in git hooks