In flush_tlb() avoid the ipi and synchronization protocol if there's just one
cpu. We still a tiny amount of memory and a vector for this purpose even if
there's just one cpu (if it really bothers anyone, I can fix this too...).