I've done so already. Similar hdim config issues and I needed to run a pulse wire script on boot to detect and set the audio on my HDMI sound bar.