Many thanks for these guides.
I followed all the instructions, but still getting no sound out of my TV (HDMI). The HDMI device (Westinghouse TV) is recognized in the sound settings, but no sound.
I installed 10.9 without a problem and then ran MultiBeast:
DSDT Free
Audio>Without DSDT>ALC892...