SECO kernel sources for Tegra T30 uQ7