Fix kernel repo