DSK_PowerDown

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