[coreboot] Patch set updated for coreboot: 3255dae Fix compilation with CONFIG_DEBUG_SPI_FLASH enabled