mako: Use updated kernel branch