Re: Support for NXP S32K3 Family