Add a stat counting the number of TLB flush