Mako KitKat kernel