yo llevo la carbon con el kernel de temasek para cm10.1, tanto la rom como el kernel compilado con GCC, mejor que linaro según dicen. rom genial, rapida, estable y con actualizaciones via nightly prácticamente a diario. ademas es una rom ligera, poco mas de 120 megas.