[coreboot-gerrit] Patch set updated for coreboot: drivers/spi: Add support for generating SPI device in SSDT