Correct the version number of this kernel.