mako: Change kernel branch