Mako kernel

Change-Id: I80ce3a36c94b0186a47ca5281ebda9b452055e66