HDMI not working. OSMC on Raspberry Pi 3B is suddenly dead

Interesting question. FYI I am hardly new to linux but I have not tinkered much with the guts of OSMC in particular before.

In /boot/ I see two files named config-5.4.0-33-lowlatency and config-5.4.0-37-lowlatency but I see no file named config.txt