These kernels are version 7.3.3.