# CONFIG_ARM_TEGRA20_DEVFREQ is not set