Added kernel source repo

Change-Id: I426b30dbfcd92ef7164efbc2e4f38a3ced124981