NOW we can use a custom kernel for Mako