CTL_TEMPERATURE_SENSOR_t *platform_configure_builtin_temperature_sensor(void);
platform_configure_builtin_temperature_sensor configures the platform's built-in temperature sensor, if there is one. If there is no built-in temperature sensor available, or the resources (SPI bus, I2C bus etc.) are not available to support the temperature sensor, platform_configure_builtin_temperature_sensor returns zero.