mako: use local kernel

Change-Id: I79d094b8f78612d85cbd3ac88b38e073265f361b