switch mako to gummy kernel

Change-Id: I86640b7cbfb96416db272ce4e82733d75a92b3f7