RaspOS Lite (Bookworm):  HDMI Audio on RPI4