raspberrypi/documentation — pull request #53 by JamesHarrison (2014-04-20 01:37:44+00:00)
Title: Kernel configuration, updating and patching

As suggested in #46.