sudo apt upgradeでHDMIを認識しなくなったのでRaspberryPiの環境を再構築した。

カーネルやファームウェアの更新が原因と思われるので、再構築した環境では以下のコマンドでカーネルとファームウェアの自動更新を停止し、問題解消した。

$ sudo apt-mark hold raspberrypi-kernel
$ sudo apt-mark hold firmware*

いつ更新を再開するのがいいのかな。