[coreboot] Patch merged into coreboot/master: 1ef774a Fix printk types in SPI flash drivers