Make sure the new device isn't ARM based. If it is, the customer is out of luck as there are no ARM drivers. Otherwise, here is the download page for...