Fix revision on Mako kernel