added kernel to local manifest