Hi Gary,
I see you have the following package installed:
Package: S32SDK S32K1XX RTM 4.0.2; Version: 4.0.2; Build id: 202106110620
But you do not have this package installed:
Package: RTD S32K1 1.0.0; Version: 1.0.0; Build id: 202108251230
This means you are using the S32 SDK for S32K1xx, which is no longer actively supported by new development, bug fixes, etc.
The S32 SDK has been replaced by the Real-Time Drivers (RTD) | NXP Semiconductors . Some of the significant differences are:
- RTD has both AUTOSAR and NON-AUTOSAR drivers, S32 SDK only has NON-AUTOSAR drivers
- RTD supports the newer NXP GCC 9.2, S32 SDK supports the NXP GCC 6.3
If the issue you reported is a bug, I'm not sure if it would be fixed.
If you are tied to the S32 SDK for your development (due to legacy code, etc.), then I would need to report this issue to the support team for the S32 SDK and RTD. This team is also available at: S32 SDK - NXP Community
If you would like to install and use the RTD instead, which I would highly encourage you to do, it is available from within the S32DS Extensions and Updates menu, look for this package (for you it would not show Installed

Please let me know how you wish to proceed.
Best Regards,
Mike