Hi Jerome,
Thanks for the report. This is a known issue which should be fixed in the next release of S32 PA SDK v0.9.0 (should be released this March). We will inform about the release on community.
The workaround is to manually write the configuration structure for that pin and use PINS_DRV_Init to apply that configuration.
BR,
Stan