Hello VaneB, Good Day!
I checked in S32K3xx Reference Manual, Rev. 5 linked excel sheet and also the excel sheet shared by you, both does not have the S32K310 pin out listed.
I understand that S32K310 and S32K311 are pin to pin compatible, but i cannot able to convince the counter part with the details available.
Can you please share the excel with both S32k310 and S32k311 pin outs listed.
only S32K311 is listed, refer the below image
