[Fedora-xen] [PATCH] Enable building xen on ia64