Track our own kernel for Mako.