# CONFIG_TEGRA_GMI is not set
