Raspberry Pi 4のSDカード起動に失敗する

Raspberryi Pi 4 で ubuntu 20.10 を入れたSDカードから起動するときに、ときどき、 

mmc0: error -84 whilist initialising sd card

というエラーが出て起動できないことがある。

ググるとどうやらLinux KernelがSDカードのマウントに失敗しているようだが、たまに、なので、SDカードのコントローラとカードとの通信タイミングなどに絡んでいる気がする（わからんけど）

解決策はよくわからんが、ブートパラメータにおまじないを追加する方法があちこちで見つかる。

具体的には、
/etc/modprobe.d に sdhci.conf のようなファイルを作り、
中身は options sdhci debug_quirks=0x40 の1行を書く。それとreboot。

これでSDカードは読めるようになるみたいだけど、試してみるとSDカードのアクセスが体感できるほどに遅くなる。SDカードのアクセス速度を落とすことでタイミングの問題を回避しようという設定なのだろうか。これでは常用は厳しいので、どうしても困ったときにだけ設定を有効にしよう（無効にするにはsdhci.confのoptionsの行頭に#を付ける）