The RM57L843 manual, and the SPNA216 application note take pains to note that ADREFHI is 3.3V when calibration is performed in the factory. What neither document goes into detail on however is what scaling should be applied if ADREFHI is not 3.3V.
If I assume that the die temperature sensor is something that acts like a thermistor, that the bias voltage on the thermistor is ADREFHI, and that the base voltage is ADREFLO; then no scaling is required. That's a fair number of assumptions however.
What is the correct way to scale the ADC counts given a ADREFHI that is not 3.3V?