Have just discovered that if I have my Cinergy 2400i tuner in the x1 slot, that it is no longer present in device manager after I resume from sleep.
I have to restart the computer to get the card to show in device manager and then everything works again.
Have tried various combinations of lspm in cpl power and aspm in bios to no effect.
This problem does not occurr if the card is in the 3rd peg slot.
I can confirm that this issue does not happen on the Gigabyte Assassin 2 m/b [same chipset] with the tuner card in any pcie slot, so certainly seems a bios issue with the DX79SR board.