SGI UV cpumask: use static temp cpumask in flush_tlb