I just found a workaround: After entering:
sudo cp -p /lib/modules/2.6.32-27-generic/updates/alsa/snd-hda-codec-intelhdmi.ko /lib/modules/2.6.32-33-generic/updates/alsa/snd-hda-codec-intelhdmi.ko
HDMI output works immediately, without reboot.
I just found a workaround: After entering:
sudo cp -p /lib/modules/ 2.6.32- 27-generic/ updates/ alsa/snd- hda-codec- intelhdmi. ko /lib/modules/ 2.6.32- 33-generic/ updates/ alsa/snd- hda-codec- intelhdmi. ko
HDMI output works immediately, without reboot.