As a FYI, I did some experiments with kvm, and I do seem to have enough entropy to get the KDC started there.
I have not played with Xen recently. It's a bit harder to set that up, and I'm unsurprised that might be more tricky to get randomness with than kvm.
