Replying to comment #3: I tried as requested. After installing
linux-headers-2.6.32-0206322813-generic_2.6.32-0206322813.201101280908_amd64.deb
linux-headers-2.6.32-0206322813_2.6.32-0206322813.201101280908_all.deb
linux-image-2.6.32-0206322813-generic_2.6.32-0206322813.201101280908_amd64.deb
the problem persists; i.e. these kernels do not play sound via hdmi, too.
Replying to comment #3: I tried as requested. After installing headers- 2.6.32- 0206322813- generic_ 2.6.32- 0206322813. 201101280908_ amd64.deb headers- 2.6.32- 0206322813_ 2.6.32- 0206322813. 201101280908_ all.deb image-2. 6.32-0206322813 -generic_ 2.6.32- 0206322813. 201101280908_ amd64.deb
linux-
linux-
linux-
the problem persists; i.e. these kernels do not play sound via hdmi, too.