These kernels are version 4.14.47.