USB host-controller driver for Raspberry Pi