change kernel repo

Change-Id: I96c6f1b2f7331400e028962f3cc93ff3f579aea9