The kernel repository was renamed

Change-Id: Id0175291d876e9f21f3ae96b48a8068dcc14472b