Fix device selection bug where device preference can be lost.
Swapping a device to a new USB port whereby it is given a new UID results in that device going to the bottom of the device preference list.
The fix is to check the device preference list for the device name to determine whether it should be selected