Add: franco kernel to tilapia manifest