$ cat /proc/asound/cards | grep -i HDMI
$ cat /proc/asound/cards
2 [PCH ]: HDA-Intel - HDA Intel PCH
HDA Intel PCH at 0xf7e10000 irq 105
$ uname -a
Linux ASR-i7 3.8.0-29-generic #42~precise1-Ubuntu SMP Wed Aug 14 16:19:23 UTC 2013 x86_64 x86_64 x86_64 GNU/Linux
До перезагрузки звук через HDMI был. Очень не хочется перезагружаться, да и понять бы, что происходит. Возможно ли как-нибудь попросить ядро(если это данные ядра) обновить эту информацию?