Como resolver bug de áudio no Ubuntu 16.04 LTS (pulseaudio + HDMI)

O Ubuntu 16.04 atualmente está com esse problema: quando conectamos no HDMI e depois tiramos, mesmo trocando o dispositivo de áudio na configuração do sistema, ele continua sem áudio. Para resolver, faça os passos abaixo.

Por: iassam