add kernel to manifest