Move kernel to other manifest