取り敢えずの解決

ラズパイ4、ディスプレイの解像度が変えられない問題、取り敢えず解決。

結局

hdmi_ignore_edid=0xa5000080

を書いただけで、解像度が変更された(が、PC用ディスプレイの高解像度になってしまっているから使い難いが、低解像度で必要な情報やボタンが画面外にあるよりずっとまし！)。

いやー、これだけの為に何日かかったことやら・・・