kernel hlte to us