¡Aha! Acabo de ver que el CPU1 está offline. Sin embargo, si entro en "CPU" dentro de Kernel Tuner parece que me lo vulve a activar. Hasta que salgo. Por eso los resultados de Antutu eran tan pobres. Ahora toca solucionarlo... ¿Se te ocurre algo?¿Cambiar el kernel quizás?
Gracias por tu ayuda magh.
EDIT:
Extraño. Al parecer la CPU1 venía OFF por defecto. La he activado y ahora los resultados de Antutu han mejorado. Aunque no mucho. Consigo 5733 puntos.