To answer my own question - this board (the ODROID) has a USB 2.0 OTG port.