I do not know about ports here but my mobile is a special case: it does not CyanogenMod 10.1.
The small community of my Player 3.6 has barely managed to root (http://forum.xda-developers.com/show....php?t=1864741).
1 month ago I asked if I could support Ubuntu Mobile Phone OS, according to the system required: yes (http://forum.xda-developers.com/show....php?t=2107042)

Could you help me?

thank you