Mako: Switch to prebuilt kernel

  * No source yet

Change-Id: Ic917453fea123465a3013580b82f115750b4de5e
Signed-off-by: Josue Rivera <prbassplayer@gmail.com>