mako: Use our AOSP kernel

Change-Id: Ib84388584cb60e52df6b37e73377efd232ddd7df