master: remove linux kernel git repo, no longer required

Kernels are now built from tarballs, cloning the SDK should be much
faster now! :)

Change-Id: Ic6ce8910760ddbdd95637a3e70bc79385d0b82c5