Well well. I'm going to hold off an wait until someone can benchmark this against the ODROID-C1, though, largely because the original Pi design had a few shortcuts and I'd like to avoid any teething issues (been using ODROIDs for a while, got full hardware support in Ubuntu and Android and don't have to put up with Debian 7.x).