I have a new TX3 box with the s905x3 chip and that box boots with the meson-sm1-sei610.dtb file.  It works fine as a server (i.e. boots, wired ethernet, usb working).  No wifi or bluetooth.  I did also try to install a desktop build and the hdmi output isn't correct, colors are messed up, and sound isn't working.