As shown below, the NXP web site indicates that the MKV42F256VLL MCU has up to 18 PWM channels.
However, as shown below, the KV4x Reference Manual indicates that the MKV42F256VLL MCU has no PWM outputs.

Also the MCUXpresso configuration tool indicates that there are no PWM outputs for the MKV42F256Vll MCU.
Thank you.
Pierre