does someone know if there is a single DTB or if there are muliple DTBs in use for the Jetson TK1. I know that the file system contains more than one but it seems like the there are some for other boards since they contain different board names.
Only one DTB is used. To know which one, see the “FDT” key/value pair in “/boot/extlinux/extlinux.conf”. The installer has dealt with other boards besides Jetsons…those other DTB files can be removed from the Jetson.