2020-08-20付でRaspberry Pi OSがバージョンアップしました。リリースノートを見ると以下のようになっています。 Bug fixのような感じの修正が多いようですが 2020-08-20: * raspi-config - added selection of boot device order * raspi-config - added se…