Updated kernel manifest