S32K: Scalable Microcontrollers for Automotive General Purpose and and high-reliability industrial