Stephen's Tegra-related Linux kernel work-in-progress