Update kernel manifest