cpu: Introduce a wrapper for tlb_flush() that can be used in common code