Pues yo instale una ayer y la verdad que en antutu me daba por debajo de lo que me da con ics 4.0.3
Con jelly bean 5200 y poco y con la que llevo que es la 4.0.3 con kernel hidracore me da lo que sale en las capturas.
No hay que olvidar que los benchmark son orientativos.
Eso si con jb en antutu no me pasaba de los 45 fps.