I think you need ADI's SoundMAX drivers for that system, but since this is off the cuff, I could be wrong. Regardless of brand, most of these sources should work. Goes without saying that you should stick with OEMs and ignore the rest. I believe the 5.1 drivers are what you're looking for.