Raspberry Pi port, piCore-15.0 is available!
$ dmesg...usb 3-2: new SuperSpeed USB device number 2 using xhci_hcd