現在、S32K1ファミリー用のS32デザインスタジオを使用しています。S32K3でS32を使用できるようにするには、どのような変更を加える必要がありますか?プロジェクトの設定中にS32K3が表示されません。