Mainline, Ti is horrible at maintaining an updated kernel. once Ti gets their devboard to boot they seem to end support shortly after. I think 3.8 is their latest kernel... it's buggy, causes the SoC to overheat... the SGX works so I guess it has that going for it.