WiFi接続でOS選択肢は増えるも、SDカード内のRaspberry Pi OS 32bit版を入れる