nee, das Tool zum Konfigurieren der Fn-Hotkeys usw., heißt "On Screen Display", ich hab mich auch schon gewundert, was das Ding mit dem Sound vom HDMI zu tun hat, aber es ist zweifelsohne verantwortlich für die Meldung "HDMI-Cable attached, sound device settings may be adjustetd" (oder ähnlich)...