jlink: harmonise the device name to J-Link