These kernels are version 4.19.25.