Confirmado, es el kernel y algunos parámetros del build.prop, creo que para forzar la CPU al máximo (pero aún no estoy seguro, no sé). Le he puesto el kernel AOSP Gamer a esta ROM y en 3D he alcanzado los 9276 puntos (eso sí, el general no es muy alto, 32337).