[coreboot-gerrit] Patch set updated for coreboot: drivers/spi: provide a mechanism to obtain the SPI flash boot device