Got it, I was using this as reference.
But it is better to use this reference manual (2.14), this information matches to this case.

As you said, there is no direct 32K clock source which can be assigned to PWM blocks by multiplexer, but some of the clock sources comes from the clock control module.
And according to fsl_pwm.h, these are the definitions to the clock sources:

Best regards.