No sound on TV with HDMI, Ubuntu 13.04

I have connected my Gateway laptop to my TV with an HDMI cord a million times, and I'm aware that you have to go into sound settings and select HDMI Audio. However, since upgrading to 13.04 there is no HDMI Audio option in the sound settings. I'm assuming I need to install something, but I'm not sure what.

Viewing the other questions on the same problem directed me here: https://code.launchpad.net/~ubuntu-audio-dev/+archive/alsa-daily/+packages

But I have no idea what to do from there.

Solution 1:

1. Run this command in a terminal:

   sudo -H gedit /etc/default/grub
   

2. Edit this line, from

   GRUB_CMDLINE_LINUX=""
   

   to

   GRUB_CMDLINE_LINUX="radeon.audio=1"
   

3. Run:

   sudo update-grub
   

4. Restart the system.