A certain vendor is only supporting version 3.4 of the kernel for their next release. They are stating that any support for am35xx is to at least initially be provided by third parties. Are there any plans for TI / TI related organization to release this kernel version for the am35xx?