Wirelessly posted (Mozilla/5.0 (iPhone; U; CPU iPhone OS 4_3_1 like Mac OS X; en-us) AppleWebKit/533.17.9 (KHTML, like Gecko) Version/5.0.2 Mobile/8G4 Safari/6533.18.5)
Nope, but some vendors (Monoprice, for example) sell a Mini-DisplayPort->HDMI adapter which has integrated audio via USB. It is more bulky than a regular adapter, but it does the job.