[PATCH 11/18] Convert CONFIG_TEGRA_GPU to Kconfig