Fix $*KERNEL.version