Added hlte kernel