Releases a device previously acquired using Device.acquire(). See that function for details.