Include sultans kernel

Change-Id: I1f7a3c1dc21e68cd96409770efc8fcee4958b80b