Update kernel version number as well