[PATCH 05/12] Fix behavior of resolveDevice when devspec is a device name.