[PATCH] x86/entry: fix entry_INT80_compat for Xen PV guests