x86: fix broken flush_tlb_others_ipi(), fix