Yup that's a beast.... (4-cores 1.4Ghz ARM Cortex A9, ARMv7) With plenty of IO pins that would satisfy a hobbyist in electronics
What about to start an appeal for donations to support further Funtoo-ARM development?
130 $ isn't that much really; it should be possible to find 15 people, each pledging 10 $ or such to get you that thing with shipping It's a bit too low amount to put it on kickstarter I guess ... ;D But since I'd be very interested in running Funtoo on an ARM (like Raspberry Pi or such) I'd offer the first 10 $ to PayPal it over.
Depends on what is your budget or expectations. I would go on the most expensive model, it has plenty of USB 2 ports so great for building a low-power storage box for instance.