These kernels are version 3.2.13.