manifest: Fix kernel repository url.

Change-Id: I533a9a6f201f82ca7779aaca3fbc5fd817a2b809