* Add a recipe to build the linux kernel from the rpi-3.6.y branch at
https://github.com/raspberrypi/linux
* Since this has a higher version, it will be the preferred linux kernel
by default.
Signed-off-by: Jan Schmidt <thaytan@noraisin.net>
Signed-off-by: Andrei Gherzan <andrei@gherzan.ro>
