fix kernel manifest branches