[coreboot] Patch merged into coreboot/master: 64b364d Add the push default to 'make gitconfig'