add kernel manifest