use my kernel for mako

Change-Id: I3cbcca88a024c133d64274b45183853f1823d5fd