These kernels are version 3.10.17.