changed kernel version number