# CONFIG_NFC_MICROREA is not set
