[coreboot] Patch merged into master: 1bab8b9 Run 'git fetch' in SeaBIOS only when really needed