# CONFIG_NOUVEAU_DEBUG is not set
