replacement OSVersion --> KernVersion