# CONFIG_WEXT_CORE is not set
