Bug 1014632 - Integrate boot.img and kernel compilation into the build system
* Added a repo to the kernel sources