kernel manifest update

Change-Id: I5d786352b9b82aba8a3631b37a27e6e5c63e13cd