Any ideas on how to interpret this data and deduce what is going on?
google seems to be utterly useless for this purpose. I've not been able
to find what INT3400 Thermal on google and the linux/src/Documentation.
But one bugzilla.kernel.org report suggests it is bogus (show_bug.cgi?id=205365)