Fix for out of order device destruction notifications when using the
delist_dev() function. In addition to this change:

• add a proper description of this function
• add a proper witness assert inside this function
• switch a nearby line to use the "cdp" pointer instead of cdev2priv()

MFC after: 3 days