Provide more info about the various drivers ... notably what kernel
they're available for, and where to get some of the out-of-tree drivers.
Uncommented listings for the Atmel and Samsung UDC drivers, now
that I know where they live, bringing the total to a dozen.
