Solo una sugerencia, ya se que synapse es mas completo por asi decirlo, pero recomiendo la app de Kernel adiutor para configurar el kernel.
Lo digo mas que nada porque no se por que me sale OC a 2.8 y en synapse me marca 2.4, pero esta a 2.8 comprobado mirando frecuencias