カーネル変更(32bit ->64bit) for Raspberry pi4

現在、32bitのカーネルなので64bitに変更を行う。

armv71と表示されているので32bitになる。

uname -a

1)ファームのアップデートを行う。

sudo rpi-update

2)config.txtの編集

sudo vi /boot/config.txt

3)以下を末端に追記

arm_64bit=1

4)再起動を行う。

5)再起動後、64bitを確認する。