cosmetics: prepend star to entries in debugging device list