The particular effect I wanted to test was your issues with the kernel in the beta 10 vs 3.14.4. Upgrading the bios first adds another variable.
That said, if you are getting tired of this it's fine to upgrade the bios to 48.
Bob, I have a few new test results for you. I have continued to use BIOS 34, I have not updated it, so that you got an answer without introducing this new variable, as kindly suggested by you.
First of all, the overnight test of GUI 3.16 was negative, I am sorry to say. In other words, although video remained, audio had "disconnected" as in all the previous attempts. I do not know at what point in time this happens, but I expect it takes about 1-2 hours of no use. Perhaps the issue is that when the amp comes back to the input it somehow wants to resynch but it is not getting the audio syncing? Which is strange, as video works. I have little knowledge of HDMI protocol, so I am making a very uneducated guess, of course.
Subsequently I unplugged the external hard drive and I tried booting the device into 3.14. As before, I cannot boot 3.14 with HDMI init (it locks up) and I can without HMDI init (but I get no audio, only video in 25x80).
Then I tried booting 3.14 with HDMI init on a computer monitor, which was successful. Clearly to me, the issue is something to do with the HDMI not agreeing with Id anymore.
Then I remembered how I had to boot Id before I tried the beta, that is to boot without HDMI plugged in, but in text with HDMI mode, plugging HDMI later. I could not make it autostart 3.14, but it does autostart in 3.16 (since I cannot see what it starting it needs to select the system automatically). As expected, it booted, but after plugging HDMI I could not get the audio.
Then I tried booting it again in 3.16 with HDMI init, but with the amp plugged in via HDMI but the projector (which goes to the amp) switched off: this combination would hang the Id on boot. Interestingly, it did boot this way and I could get audio, but audio was lost after the first amp power off.
It seems the only way to sustain audio for a while is by booting into GUI, but that does not last more than 2 hours of downtime.
I will download the BIOS v48 as per your instructions and try that. If you have any other suggestions, please let me know. I am keen to help, but it would be nice to "have my Id back" so to speak, so I may have to revert to the much older version if none of this works out—what do you think?