Infelizmente, após a atualização, a saída HDMI do Dell Studio 1535 não está mais disponível. Funcionou antes, radeon.audio=1 é conhecido pelo Grub e a edição de /etc/modprobe.d/alsa-base.conf também não resolveu o problema.
A reinstalação do Pulseaudio e do Alsa várias vezes não ajudou, embora nenhuma saída tenha sido desativada no Alsamixer.
Mas, depois de selecionar um 3.8 mais antigo em vez do Kernel 3.11 no Grub2, consegui recuperar o áudio HDMI novamente!
Depois de instalar o kernel 3.11.6 da linha principal, a saída HDMI também funciona.