mako: Use default kernel config