# CONFIG_NCE is not set
