ну если обходное решение - можно по логам смотреть когда hdmi подключен/отключен... где-то это должно отображаться... по-хорошему после подключения сделать хук-скрипт. чтобы настраивал что надо... но конкретно не подскажу, просто направление в котором я бы смотрел