HDMI Audio lost after idle time

I usually use minix mainly for xbmc, but this bug also happens on the minix os too -
after some idle time, when going back to minix, the hdmi audio doesn't work anymore and you have to restart minix otherwise you won't get any audio from any type of file.

This is starting to feel like I'm testing an early alpha version of a device and not a complete product, after finding many bugs along the way.