mako: change kernel source