tvOS 12: No HDMI audio output available
After updating to tvOS 12, my Apple TV 4K no longer offers HDMI as an audio output option. The only option available is an Airplay speaker in another room, and if I turn it off, there are no audio output options whatsoever.
The Apple TV is connected to a Sony soundbar. The connections and the HDMI cables are exactly the same as yesterday when the sound still worked (with tvOS 11, that is).
What should I try first? On another forum someone had suggested turning off Dolby Atmos, but there's no such menu option visible, probably because there's no audio output either.
Apple TV 4K, tvOS 12