PB17でEIRQ[31]を使用する必要がありますが、このPB17を外部割り込みとして設定する必要がある場合は、IMCR[559]を設定する必要がありますが、S32K322ではIMCR[409]までしかIMCRがありません。S32K322でIMCR[559]を設定するにはどうすればよいですか。