# CONFIG_NFC_MRVL_I2C is not set