Fix for kernels >=2.6.34 - get_mm_counter() not exported