These kernels are version 3.14.40.