I have a 700 TSV and thought about this kind of a setup too. Unfortunately xenarc only provides pre-compiled binaries for their X11 display driver, and in i386 only. I'm going to drop them a note and see what they say about pre-compiled arm binaries, or releasing the source.