С теккеном вроде проблем никогда и небыло, нормально запускался и на ранних psfreedom'ах и на origin, да и менеджер необязателен именно последний гайя.
Вчера наконецто прошился на 4.1, т.к. вышел новенький bootlace, поддерживающий ее. Вся инфа по установке здесь
http://www.idroidproject.org/wiki/Bootlace, сложного ничего нету, только желательно чтоб вайфай точка была, потому что необходимые для андроида файлы из инета докачиваются