cputlb: Change tlb_flush() argument to CPUState