This could be related to the use of superpages to map portions of the
kernel on x86_64. Hardware KVM support has serious issues with
FreeBSD's dynamic superpage support and they have to turn it off to
run reliably, I wonder if the static superpages have the same problem.
-Matt