Looks like Hardkernel is comming out with some new versions of the X boards. Now with 8 cores, USB 3, ...
http://www.hardkernel.com/renewal_20...=G137510300620