hal jarabta kernel