change kernel repo

Change-Id: If319a4d1c5f3ad802a074d0854b319eba8c778b7