it detects the intel hd audio and attaches azalia(4), but only the internal realtek alc257 codec is found.

there is no hdmi audio codec, no audio1, and mixerctl -a only shows the internal speaker/headphone outputs. the external display works over hdmi, but there is no way to select hdmi audio because no hdmi audio device is detected.

is hdmi audio expected to work with openbsd 7.9? if it should work, are there any additional diagnostics steps i should try?