find a lenovo machine which has legacy hda audio desgin, install 20.04 and run dist-upgrade, enable the -proposed channel in the /etc/apt/sources.list and run sudo apt-get update, then run sudo apt install pulseaudio, the puseaudio 1:13.99.1-1ubuntu3.13 is installed. reboot, plug a hdmi monitor, manually select it to be active output, keep the hdmi monotor plugged and reboot, after reboot checking the active output device, it is still the hdmi audio, then run suspend and resume, check the active output device, it is still hdmi audio.
find a lenovo machine which has legacy hda audio desgin, install 20.04 and run dist-upgrade, enable the -proposed channel in the /etc/apt/ sources. list and run sudo apt-get update, then run sudo apt install pulseaudio, the puseaudio 1:13.99. 1-1ubuntu3. 13 is installed. reboot, plug a hdmi monitor, manually select it to be active output, keep the hdmi monotor plugged and reboot, after reboot checking the active output device, it is still the hdmi audio, then run suspend and resume, check the active output device, it is still hdmi audio.
Verification done on focal.