Os comento, para el que instale el Kernel de SebastianFM, aunque ponga 1.8GHz, por defecto trabaja a 1.5GHz, para que vaya a una frecuencia superior tenéis que instalar un programa de gestión tipo Antutu CPU Master (lo tenéis en el segundo post), SetCPU, System Turner, etc.