tegra driver is available since mesa 18.1. This patch is for debian-experimental (18.1). Not really sure exactly on which arm archs tegra is supposed to be built. Feel free to change. Properly tested on arm64.