Oficial no hay, tienes la cyanogenmod 10 que es no oficial..
Pero creo que va a ser mucho follón y no es 100% estable.
Lo mejor es que le metas una rom tipo stock y tendras todo funcional y sin complicaciones... La stock lite por ejemplo, está bien.