It's not that hard, a few BIOS changes, at bit of time with your favorite burn-in program, a piece of graph paper. But, yea, you have to really want to know that internal temperature.....
Hey, at least I didn't suggest the hardcore add-an-external-diode-reader-and-calibrate-in-a-stirred-water-bath that pH has been doing recently.