# CONFIG_NFC is not set