プチコンのファンクションキーの設定は保存されない

別のゲームをプレイした後に再びプチコンを起動したら、ファンクションキーの内容は初期状態に戻っていた。
ファンクションキーの設定は保存されないのか。毎回、設定し直すのは大変なので、保存する方法は無いのだろうか。