rename hltenci to hlte

nxp's nfc is broken at the moment