Installed the non-Xen kernel, booted it, and the CPU temp dropped 5 degrees (this was after the beagle indexer finished and I was still running hotter than normal).