In the S32K146 user-manual guide, it is mentioned as High-Speed mode is not supported by this device. (Page 1481). But in the coming section of the user-manual it is mentioned as device support HS mode (page 1483).
Both seems bit contradictory for me. What are the I2C modes supported by S32K146? And what is the maximum speed of I2C clock frequency?