fix build for kernel >= 3.7.0