Hello, @cranes
From the release notes of RTD4.0.0, it is developed and tested on S32DS3.5.1, and may not be fully tested on 3.5.14, from my working experience, if possible, I suggest using the RTD4.0.2 serials for another trial.
As mentioned, I have tested it on S32DS3.5.14 with RTD4.0.2 HF03, there is not issue found.
B R
Chenyin