armhfのpi4でraspberrypi-kernelを20230317に上げて再起動したらarm64で起動してきた。
config.txtにarm_64bit=0を追加したらarmhfで起動してきたけど、デフォルト変わったんかな