These kernels are version 3.8.13.