What version is your BIOS?This site tonymacx86 at the section download
Yes, works as designed. See Post #1, Before You Start, 1 and 2, Mavericks: HDMI Audio - AppleHDAthe audio hears well, but there is this inscription in system preferences: "the device does not have exit checks". . it's normal?