# CONFIG_TEGRA_BPMP_THERMAL is not set