reset: make device_reset_optional() really optional