IEが32bitで起動しなくなった件ですが、原因が分かりました。
先日インストールしたソフトウェアによって、IEが64bitで起動するようになっていたみたいです。
そのソフトウェアは64bitのIEにしか対応していないので、何かの設定を変更して、IEを64bitで起動するようにしているみたいです。
そのソフトウェアをアンイストールしても状況は変わりませんでした。
暫定的に新規にWindowsのユーザーを作って、そこでIEを起動するとどうなるか試しました。
新しく作ったアカウントでは、IEも32bitで起動するみたいで、ROへのログインも出来ました。
元のアカウントの設定の戻し方は調査中です。
レジストリを調べてみましたが、ちょっとそれらしい値は見つかりませんでした。
システムの復元も試してみるつもりですが、これでダメならWindowsのアカウントを乗り換えるしかないかもしれません。
かなり面倒な作業になるので、出来れば避けたいのですが…
取り敢えず、ROにログインできないという事態だけは回避出来そうです。
もう遅いので、また後日、対応を検討します。