https://imorecom.pages.dev/posts/fix-hdmi-sound-not-working/