[coreboot] Patch merged into coreboot/master: 3255dae Fix compilation with CONFIG_DEBUG_SPI_FLASH enabled