fix kernel repo

Change-Id: If83347cf04f75c06127a1f7b98bfd18986d39aab