13.0.0 is kernel version used in 10.9 only