I have an Intel DH87RL motherboard with a Haswell CPU and Win8, and I have the issue with the HDMI audio device disapperaing aftaer standby or turning off the AC reciever...
I have followed the instructions here https://communities.intel.com/message/218663#218663 with no Lock - I have the newest BIOS from 12/04 and also the newest drivers - 3345.
I don't have the issue with the previous driver, but then I have other issues.
So as stated in the thread above I'd like to ask my mobo manufacturer if a new BIOS is on the way?