@bob people seem to work at getting stock ARM Debian working on the #ODroidC2, using the standard UBoot bootloader http://qttr.at/1uhp