Hello,
There is a shortage of the MKV31. Due to this, we are switching to the MKV56 100 pin package which looks to be a pin match to the MKV31. We only have a conflict with 1 pin. On pin 4 we need SPI1_SOUT and only SPI1_SIN is listed. Is maybe ALT_MUX7 missing in the datasheet?

On the MKV31 ALT_MUX7 allowed us to assign this pin to SPI1_SOUT

Thanks for your help!