sys: FspDeviceDelete: fill out device extension with the value 0xBD when device is deleted

src/sys/device.c

@@ -197,6 +197,11 @@ VOID FspDeviceDelete(PDEVICE_OBJECT DeviceObject)
         return;
     }
 
+#if DBG
+    RtlFillMemory(&DeviceExtension->Kind,
+        (PUINT8)DeviceObject + DeviceObject->Size - (PUINT8)&DeviceExtension->Kind, 0xBD);
+#endif
+
     IoDeleteDevice(DeviceObject);
 }