Fix kernel version in comment