>>210
情報サンクスです

バイナリで入手した特定バージョンのカーネルは、ビルド時にhdmi audioがdisableになってる可能性はあり、カーネルが全く無罪かどうかは分からんよ、と解釈しました