I have a attached a Windows Registry script that you can run on your machines to automate the process of adding these registry keys.
I have added registry keys for all the hardware IDs identified in the 1.0 version of the IDE. As new Arduino products get added, you will need to update the script with the additional hardware IDs.
To execute the script, just double-click the IgnoreHwSerNum.reg file and it will prompt you with a "Are you sure?" type dialog. Select OK and it will edit your registry with the following keys.
I hope this helps you out.
Windows Registry Editor Version 5.00