[coreboot] Patch merged into coreboot/master: 857f723 SMM: Add option for SPI driver to be available in SMM