x86/entry: Fix entry_INT80_compat for Xen PV guests