I was right, Xen really is hot!

[Tom Horsley <tomhorsley@xxxxxxxxxxxx>]

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).