[OS-BUILD PATCH 1/3] Enable Tegra SoC thermal driver