update kernel manifest