ODROID-C2 64-bit dev board coming soon for $40