Following a post at Ubuntu Forums I’ve managed to fix my flash sound (which has been broken for about 3 months). The bit that did it in the end was creating an /etc/asound.conf file (as root) with the following content.