Interesting, your Micro board seems to have a different PID number to the "Arduino Micro.inf" driver file.
I've made a modified version of the inf file which is attached. Does this one work for you?
You are exactly correct ... I stumbled onto that myself.
I tried to hack the AdaFruit file and since then I have been restoring my computer from the blue screen of death.
Well after 6 more blue screens I about ready to give up ...
The only time any driver is recognized and installed is if the inf file has "USB\VID_2341&PID_8037&REV_0100
" included ....
Then I get a popup[ from windows asking if I want to install the unapproved driver.
If I answer yes then I get a blue screen about 10 seconds later.
Now I am probably jumping to unfounded conclusions here but the REV_0100
indicates someone at the Arduino factory has updated the firmware.
The only reference that I can find to USB\VID_2341&PID_8037&REV_0100 is the thread http://forum.arduino.cc/index.php/topic,177277.0.html
In that thread the user only got that ID string on a USB port ... well I have tried all my ports and the same ID comes up.
Looks like I have three options:
1) find the OLD version of the bootloader and reload it to the MICRO (might work or might not)
2) downgrade all my computers to Windows XP X32 --- not going to happen
3) send it back wait until the product is stable
Got it working --- kind of--- on an XP.
I was able to upload the blinky program.
Then I tried "hello world" on the serial port .... nothing, nada, zip, zero, zilch.
Conclusion: Door number three please. The Arduino Micro is not ready for prime time.