We are considering buying an ARM system in order to build Operating System Images for XO(1.75 and 4) laptops. Currently we are doing this under virtualization environment using "Fedora-17-armhfp-vexpress" which is very slow. 

I am seeking some expert advice on which ARM system/board to buy from the list. So far I have been suggested Wandboard quad and Odriod-U2. 

Please suggest. Thank you.