Build franco kernel