kernel/configs/fedora/generic/arm/CONFIG_NOUVEAU_PLATFORM_DRIVER