With Andy's conversion of WMI to the driver model the GUIDs should be our device ids. Which means WMI can support the dynamic device ID model, where you can echo a id to sysfs to bind an id - that way people could add the GUIDs on demand to the pass through driver if they need them even with the whitelist approach.
