fix kernel version check