ia64/xen: Remove Xen support for ia64