Android kernel for the Tegra Note 7