There's got to be other ways to get the drivers, usually the hardware is generic enough if you pull the PCI ids you can get them from Windows update or manufacturers' websites, right?

Or is it all proprietary Samsung silicon...