[GTALUG] Odroid C2: interesting 64-bit ARM board