Angelo said me: They have best kernel for Tegra 3, month of writing, they used it for HTC One X and some LG, there is T30, OUYA has T33 but it shouldn't be problem. And OUYA has UART so it should be easy for him.I couldn't donate but I can help as I have a server I can do some builds on.