Post date: Feb 12, 2016 5:9:2 AM
I've changed the method for downloading kernel source again. This way is shorter, and uses git instead of downloading tarballs. This was made possible because I finally worked out how to use git without downloading the entire history of the kernel and firmware. I wrote up instructions for use and also instructions I can use to generate the repository when a new Raspbian version is released. It's not exhaustively tested, but should be close.
I also updated the source repository for the latest Raspbian: 2016-02-09.