Makes alot of sense, I wonder if I can correct the tjmax value.Both pieces of software read off the same sensor, the reason the numbers are different is because the tjmaxx value is set wrong in one or both pieces of software. Tjmaxx value on your cpu is specific to your specific model number and stepping revision.
The software reads the sensor data as distance from tjmaxx, so if tjmaxx on your chip is 80c and the sensor reads as 20c under tjmaxx the reading should be 60c. (hope that makes sense)