Getting ready for launch: kernel sources on GitHub

As we wait for the first units to come back from the factory, Dom’s been getting our kernel sources into a fit shape to release. A fork of the 3.1.9 kernel with our patches is now available at https://github.com/raspberrypi/linux.