Fix for kernels < 3.4 (2.6 also) - get_mm_counter() not exported thus driver is unable to load