Eh già, c'è la magica manina di Ivan.
Ho visto che il kernel è uno custom di un Nexus 4 che è stato riadattato immagino. Credo che tra non molto avremo una ROM, anche se sicuramente non stabile.. Ma tanto abbiamo il TDB (sperando che lo supporti) o il multi boot con GRUB (tra un po', stay tuned).