fix kernel repo

Change-Id: I247370b835794642a4072f4cf7fc908a79744cbd