Update kernel repo