[coreboot] Patch merged into coreboot/master: 9e6d60e Fix coreboot updates