Have a look at the Cubieboard, and the PCDuino - But be aware many on ebay are based on the A10 which at 1GHz are reasonably quick, the newer ones (hence more expensive) are based on the A20 and more development is done on those these days. The two boards above have lots of GPIO and some revisions have a SATA socket too so you can hook up a laptop drive. They all have real (not usb) ethernet ports, and can drive their USB ports with a sensible amount of juice, unlike the PI.
Links? No, I trust you can google the terms :)
The MK8xx devices all seem to be A10s (but that might have changed now)