mako kernel fixes