Updated manifest for nextoo-kernel