How to configure the internal temperature sensor of s32k144 chip? If you get the temperature data collected by the internal temperature sensor