Make this work only for 3.13 and up kernels
as in Debian Jessie and up