# CONFIG_NFC_MRVL_SPI is not set