xen: fix xen_flush_tlb_others