fixed kernel version check for debian