$ grep SPI_INTEL_SPI_PLATFORM /boot/config*

/boot/config-4.13.0-17-generic:CONFIG_SPI_INTEL_SPI_PLATFORM=m

/boot/config-4.14.0-13-generic:# CONFIG_SPI_INTEL_SPI_PLATFORM is not set