Increase timeout to 12 s on admin device during DevRestart
Devices may take more than 3 s to execute the whole
DevRestart
procedure e.g. init_device()
may take more time.
Increase timeout to 12 s. In the future think about
parametrizing it, if necessary.
@sardana-org this is ready for review and eventual integration.