As I told the previous poster, I know which pins do and do not support "high drive strength," that is not the issue!
But fortunately, in the background you had the relevant chunk of information: in S32K3xx.pdf, Table 27. GPIO DC electrical specifications, appears to have what I need.
It looks like it doubles the output current of the pins to enable the "DSE = 0" vs "DSE = 1"

