[coreboot-gerrit] Patch set updated for coreboot: Kconfig: rename BOOT_MEDIA_SPI_BUS to BOOT_DEVICE_SPI_FLASH_BUS