manifest: Updates for new kernel

Change-Id: I71c25009d0e018eb1fd039822c6e5a470ebfd82a