Well afoken I am sursprised to be saying that the USB controller is working, albeit only from the command line, whereas the GPIO one is still installing modules! Having found this on GitHub and installed it, the USB module just worked...