Add franco kernel to grouper manifest