There is a temp sensor within the Quark chip that you can access as well. If you are using the Arduino IDE you can download the examples here https://communities.intel.com/docs/DOC-22272. That will let you compare the internal and external sensors.
What temperature are you seeing?
Removing a few zeros and you get the quark temperature (Celsius). The board does run quite warm but is normal.
Upgrading to the latest board firmware can help a bit with the temperature.
Hi Stewart and Tom!
On one device, I'm seeing a temperature of 86C - the other two devices are more like 71C and 68C.
Upon further inspection - I found that I was powering the Hot Galileo with an after market power supply - with an output rating of 9V@650mA. When I compare that to the supplied power supply (5V@2.0A) - I think that might be the difference.
Changing out the aftermarket power supply with the supplied power supply - I'm at 71C. I think that may have solved that little mystery.