manta: switch to inline kernel building

Change-Id: I4d65a7d6626edf20cebca1fde46565eef39a098c