Single inf-files for all Arduinos

I had to download a separate inf-file for the USB-Serial converter. I noticed the drivers folder contains multiple similar inf-files that can be combined to a single file if it ends like:

;------------------------------------------------------------------------------
; Vendor and Product ID Definitions
;------------------------------------------------------------------------------
; When developing your USB device, the VID and PID used in the PC side
; application program and the firmware on the microcontroller must match.
; Modify the below line to use your VID and PID. Use the format as shown below.
; Note: One INF file can be used for multiple devices with different VID and PIDs.
; For each supported device, append ",USB\VID_xxxx&PID_yyyy" to the end of the line.
;------------------------------------------------------------------------------
[SourceDisksFiles]
[SourceDisksNames]
[DeviceList]
%DESCRIPTION:USB\VID_2341&PID_0001%=DriverInstall, USB\VID_2341&PID_0001
%DESCRIPTION:USB\VID_2341&PID_0010%=DriverInstall, USB\VID_2341&PID_0010
%DESCRIPTION:USB\VID_2341&PID_0032%=DriverInstall, USB\VID_2341&PID_0032
%DESCRIPTION:USB\VID_2341&PID_0034&MI_00%=DriverInstall, USB\VID_2341&PID_0034&MI_00
%DESCRIPTION:USB\VID_2341&PID_0035&MI_00%=DriverInstall, USB\VID_2341&PID_0035&MI_00
%DESCRIPTION:USB\VID_2341&PID_003B%=DriverInstall, USB\VID_2341&PID_003B
%DESCRIPTION:USB\VID_2341&PID_003F%=DriverInstall, USB\VID_2341&PID_003F
%DESCRIPTION:USB\VID_2341&PID_0042%=DriverInstall, USB\VID_2341&PID_0042
%DESCRIPTION:USB\VID_2341&PID_0043%=DriverInstall, USB\VID_2341&PID_0043
%DESCRIPTION:USB\VID_2341&PID_0044%=DriverInstall, USB\VID_2341&PID_0044

[DeviceList.NTamd64]
%DESCRIPTION:USB\VID_2341&PID_0001%=DriverInstall, USB\VID_2341&PID_0001
%DESCRIPTION:USB\VID_2341&PID_0010%=DriverInstall, USB\VID_2341&PID_0010
%DESCRIPTION:USB\VID_2341&PID_0032%=DriverInstall, USB\VID_2341&PID_0032
%DESCRIPTION:USB\VID_2341&PID_0034&MI_00%=DriverInstall, USB\VID_2341&PID_0034&MI_00
%DESCRIPTION:USB\VID_2341&PID_0035&MI_00%=DriverInstall, USB\VID_2341&PID_0035&MI_00
%DESCRIPTION:USB\VID_2341&PID_003B%=DriverInstall, USB\VID_2341&PID_003B
%DESCRIPTION:USB\VID_2341&PID_003F%=DriverInstall, USB\VID_2341&PID_003F
%DESCRIPTION:USB\VID_2341&PID_0042%=DriverInstall, USB\VID_2341&PID_0042
%DESCRIPTION:USB\VID_2341&PID_0043%=DriverInstall, USB\VID_2341&PID_0043
%DESCRIPTION:USB\VID_2341&PID_0044%=DriverInstall, USB\VID_2341&PID_0044

;------------------------------------------------------------------------------
; String Definitions
;------------------------------------------------------------------------------
;Modify these strings to customize your device
;------------------------------------------------------------------------------
[Strings]
DRIVERFILENAME ="usbser"
SERVICE="USB RS-232 Emulation Driver"
MFGFILENAME="CDC_vista"
MFGNAME="Arduino LLC (www.arduino.cc)"
INSTDISK="Arduino Driver Installer"
DESCRIPTION:USB\VID_2341&PID_0001="Arduino UNO"
DESCRIPTION:USB\VID_2341&PID_0010="Arduino Mega 2560"
DESCRIPTION:USB\VID_2341&PID_0032="Arduino Leonardo"
DESCRIPTION:USB\VID_2341&PID_0034&MI_00="Arduino Leonardo"
DESCRIPTION:USB\VID_2341&PID_0035&MI_00="Arduino Micro"
DESCRIPTION:USB\VID_2341&PID_003B="Arduino USB-Serial"
DESCRIPTION:USB\VID_2341&PID_003F="Arduino Mega ADK"
DESCRIPTION:USB\VID_2341&PID_0042="Arduino Mega 2560 R3"
DESCRIPTION:USB\VID_2341&PID_0043="Arduino UNO R3"
DESCRIPTION:USB\VID_2341&PID_0044="Arduino Mega ADK R3"