IIRC their IS a compatible flash 10.1 .deb version for ARM Cortex machines posted in the other thread. However this is currently for developers and the post is buried waaayyyy in the masses of posts, so I'm not going to sift through the topic to link it.