Includes applying the snd_hda_intel.power_save=0 boot option, which gets the HDMI audio working.
Without this option, audio only works if I boot with the display set to a different input and switch to HDMI at the cryptsetup prompt; booting normally only shows a dummy output available, with all profiles showing unplugged/unavailable in PulseAudio.
This may not be required in the future, as a Fedora 34 live disk doesn't need this boot option, but Pop 21.04 and mainline kernel 5.12.3 don't fix the issue, so it seems to be required for now.
Includes applying the
snd_hda_intel.power_save=0
boot option, which gets the HDMI audio working.