xen/mmu: weaken flush_tlb_other test