fix kernel manifest