Mele A1000G Quad is probably a better bet. Both of them are not very well supported by upstream Linux, but the Mele / AllWinner A31 has been around longer and so has had a bit more work done to figure it out. Also the A31 supports hardware virtualization.
http://linux-sunxi.org/index.php?title=Mele_M9
If you want better than RPi, well-supported upstream and with a good community, then go for the dual core A20-based Cubietruck. This also supports hardware virt, and is generally a great development kit.