fix is_supported_device in device manager

the behaviour of the device model has changed: it always has a
"plugin" attribute, with is None or a string