Build Kernel in a full Android Manifest

add mako kk_mr1 kernel to the manifest

Change-Id: Ib6256c45475cc64ea8c1c79240ad9648af13aa90