HiFiBerry Digi audio device sometimes not loaded?

I am running a Raspberry Pi 4b with a HiFiBerry Digi hat as an audio output. The issue I'm having is that sometimes this device is not loaded when booting up my Pi (it doesn't appear under available audio devices). Based on forum posts here I tried changing the "wait for network" setting (30 sec. or more), but it hasn't solved the problem. Is there anything else I can try?

Here are log files taken from a failed boot and a successful boot, respectively;

http://ix.io/4uwP

http://ix.io/4uwR

Quote from popcornmix

Add "dtdebug=1" to config.txt and post output of "vclog -m" for a working and not working boot.

Thanks for your reply. The first part I figured out, but when I try to run vclog it says "command not found". Do I need to install it from somewhere?

Quote from HiassofT

On LE11 and before use "vcdbg log msg" - vclog is only available in LE12.

Yes that works, appreciate the help.

Although I did double check these results, it seems there's not much difference (if any) between the before and after logs.

First boot (failure);

Second boot (success);

Quote from popcornmix

This feels like a hardware issue. You might want to try reaseating the HAT to make sure it's secure,

and perhaps check the soldering looks consistent along the 40 pin header.

Thanks for the suggestion. I dis-assembled my Pi and re-seated the hat onto the header. Unfortunately the problem persists.

My current work-around is as follows;

1. Turn on Pi

2. Boot into LibreElec (no sound)

3. Shutdown

4. Turn on Pi

5. Boot into LibreElec (sound working)