These kernels are version 3.10.41.