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