É possível que alguns drivers gráficos do Linux tenham eventos hot-plug HDMI, alguns exigem opções especiais para serem ativados para que sejam disparados. Desenvolvedores de drivers gráficos, embora não tenham focado muito tempo na funcionalidade, por isso não sei se funcionará para sua marca de placa gráfica:
Detalhes do RadeonHD: link