The HDMI Display audio doesn't show up as an option. Under the "Output Devices" Tab, I only have my "Built-in Audio Analog Stereo with Speakers and Headphones (unplugged) Under the "Configuration" Tab, I can select it as an output. This is newly working like this and is not how the HP EliteBook presents the output. Maybe this is better? I don't know. What do you think? Is the problem now solved?