These kernels are version 4.4.32.