Fix kernel repo name