It would have to be x86 for me. I don't understand all the fuss about ARM. If you going to change architecture at this point you might as well go for the most powerful. x86 boards also tend to PCI and PCIe slots, it's better to be able to re-use as much driver code as possible for video, audio and network.
