unify kernel repo / path

Change-Id: I7ed918d313e3a7cfce58f45dbb332e08bb3b7404