Xen hypervisor bug found, fixed, phew...‏make sure you're patched!