[IA64] xen: fix xen_get_eflags.