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