Fix kernel version