Set 4.8 as default for kernels