Add kernel repo