これまでラズパイ４でのUSB起動はrasbianの64bitOSを使っていたので問題はなかったのだが、いざ32bitOSを使わざるを得なくなって、試してみると当然起動するものだと思っていたものが、.elfがどうとかで起動しない。
はたと困り果て、ネットで検索してみると、/bootにあるxxx.datとxxx.elfファイルをこ こから
https://github.com/raspberrypi/firmware/tree/master/boot
貰って来て上書きするように書いてある。
こんなもんでと思ったがものは試しと思い、起動しなかった32bitOSを入れたUSBの/bootにある xxx.datとxxx.elf ファイルを全部で確か16個上書きした。
その上で起動してみる。なんと問題なく起動するではないか。しかも速い。こんな方法があるのなら早く知っておけばと思う次第である。