USB3.0の3.5インチHDDケースだけどかったのはAINEXのHDE-08ってやつ
TSUKUMOのネット価格で税込み1953円だった

このHDDケースをRaspberry Pi 4のUSB3.0に差して
Raspberry Pi OSのSDカードを使わないUSBブートができた
Raspberry Pi 4のファームウエアは
Raspberry Pi OSをaptで最新版にすると自動的に更新される2020年9月3日のやつ