Fix mako kernel revision

Change-Id: I637783cb4f0d1a98423a1b23e8a7d8a866aca00f