Fix for not loading kernel driver issue due to get_mm_counter() not exported for kernels < 3.4