mako: update kernel repo's tag

Signed-off-by: Carlo Savignano <stevewatersy@gmail.com>