Update Mako Kernel branch