Mako: Use franco kernel for builds