These kernels are version 6.12.71.