[coreboot] Patch set updated for coreboot: 1ef774a Fix printk types in SPI flash drivers