Which temperature is right ?

On my ET8000 , I have one skin which shows processor temperature.

It says it's 43 º C

It reads the value from /proc/stb/fp/temp_sensor  and if I manually read the value on a telnet session it gives me the same value, 43.

But If I use OpenPli Skin, I go to Menu > Information > About, and I can see the following:

CPU: BCM7429B0 1305 MHz (2 cores) 67º C

I see that this value is the one which shows at /proc/stb/fp/temp_sensor_avs.

So one skin seems to look at temp_sensor, and the other one at temp_sensor_avs.

Which is the right one ?