[Patch] fix vDSO paravirtualization for fedora-xen-ia64 (is Re: [Fedora-xen] Re: [Xen-ia64-devel] Fedora-xen-ia64 test status)