自分の場合、既存の microSDカードのイメージバックアップを取り、それを新しい microSDカードに書き戻し(つまりクローンし)、それに対して 64bitカーネル化することにした。 【お約束】 kernel を差し替えたら、起動さえしなくなったということもあるのでバックアップ必須。kernel を元に戻す手段は用意されていない。(最新の安定板kernel を再インストールすることはできるが、それが以前のものと同じ保証はどこにもないから) 【手順】 1. 現在のカーネルのバージョン等を確認 pi@raspberrypi4:~ $ sudo rpi-update *** Raspberry Pi firmware updater by Hexxeh, enhanced by AndrewS and Dom *** Performing self-update *** Relaunchin