[PATCH] ntoskrnl.exe: Use correct name format when sending WM_DEVICECHANGE.