I installed the Xen kernel for the first time, and my CPU is running hotter now than it was before with things mostly idle (from usually about 35C to 40C). Does the hypervisor keep things jumping around or something? (I have no guests installed yet). Around 40 is what I used to get when transcoding video on both CPUs at the same time.