Bug 1014632 - [Flatfish] Integrate boot.img and kernel compilation into ...

...the build system

* Added a repo to the kernel sources