firmware: hdmi: fix for 88.2kHz and 176.4kHz output rates
See: http://forum.xbmc.org/showthread.php?tid=184866&pid=1653370#pid1653370