Если кому лень перескакивать на новый дистрибутив 12.04.04 с ядром 3.11.0-15, но хочется обновить ядро до 3.11.0-15.25, то вот -
sudo apt-get install linux-generic-lts-saucy xserver-xorg-lts-saucy
sudo update-grub
полет нормальный. Кажется перестал глючить звук IPTV через VLC.