Fix kernel version from yesterday's update