DSK_PowerDown
The Device Manager calls this function to process power-down notifications from the kernel.