Manta kernel

Change-Id: I3288024119e284efc787d6440ddd28b92e764d91