This post gives the means to turn a dts into a dtb:
https://devtalk.nvidia.com/default/topic/977501/jetson-tx1/audio-conflict-with-spi1_cs1/post/5023878/#5023878
If you have a correctly configured kernel source, then you can use this make target:
make dtbs
So far as I know those are the two choices.