Swapped in the board just now and audio worked from the first boot 
- so this is definitely some sort of hardware quirk, as I haven’t changed anything from old board to new - simply shut down and swapped the mainboard.
Side note: experience says replacing a laptop mainboard shouldn’t take less than 15 mins but now we live in a world with Frameworks and I’m down with that 