[coreboot-gerrit] Patch set updated for coreboot: drivers/spi: ensure SPI flash is boot device for coreboot tables