[ros-diffs] [cwittich] 59096: [DEVMGR] reboot instead of shutdown after driver update