# CONFIG_MODULE_ALLOW_MISSING_NAMESPACE_IMPORTS is not set