HighTec Extends Support for Infineon AURIX TC4x