mako: Updates for custom kernel repo