Optimize timing of TLB flush.