Update kernel version in package lists