Fix check for kernel version