Hi there,
looks like the ADB issue did get fixed and we added the Tegra K1 to our list of compatible devices:
However you will need to install the Tegra Android Development Pack 3.0r3. Once you have that, it should recognise the Tegra device and you can begin packaging to it.
Let me know if that helps.