Is anyone running mainline Debian, with the linux-image-armmp kernel package, on the Tinker Board yet? If so, what hardware is supported and what is not?