I was trying to use the Adafruit kernel source to build my customized kernel. But for some reasons, the USB hub was not working after installing the kernel. So I spent sometime to extract the kernel modules from Adafruit from their source tree.
Here is the patch that I generate for official RaspberryPi kernel source tree.
