[coreboot] Patch set updated for coreboot: a0de089 Add SPI driver