ia64/xen: compilation fix