Comment 50 for bug 1773167

The incorrect jack status is purely a kernel problem, yes. I'm not familiar with the kernel code, unfortunately, so I can't really provide further pointers.

If module-card-restore sets the card profile to "hdmi-stereo" when it's unavailable, PulseAudio will keep crashing if realtime-scheduling is enabled. Instead of patching PulseAudio, you can just remove module-card-restore from /etc/pulse/default.pa while testing.