These kernels are version 4.9.41.