# CONFIG_NOUVEAU_PLATFORM_DRIVER is not set
