Xen developing 64-bit domains

Xen developing team is working to allow handling of 64-bit guest OSes as reported in this email to xen-devel mailing list.