added support to retrieve the device serial number

This may be useful when we have two (or more ) USB devices with the same product id. We can differentiate them by their serial number.
Oh you're right -- it is in v12.  Don't know how I misread that.  OK, earlier patch is good then, thanks!