GIGABYTE X58A-UD3R (Rev. 2.0)*1 に Edubuntu をインストールしてみたのだが、なぜかHDMIに音声出力が出来ない。 それもEdubuntu 12.04.2 64ビット版 DVD-Rで起動した時にはHDMIから音声出力が出来るのに、HDDにインストールしてHDDから起動すると音が出な…