Bump Linux kernel version number