Peter, from reports I’ve read elsewhere, it really does appear that AVG’s report of malware in connection with Device Provisioner is indeed a False Positive. It’s a good idea to notify AVG whenever such things occur as they can then eliminate any False Positives from their database. In this particular instance it would appear you have nothing to worry about and shouldn’t attempt to delete DP at this time.