add another kernel repo

Change-Id: I906dcecd0ecb90bf2778b558e0a7244d81eef7ee