mako: kernel branch changed

Change-Id: I9519d795f04616cb68328ac28cc52a597692761b