Fix J-Link device names #41

Job	Run time
build (ubuntu-latest, examples/arduino-blink)	57s
build (ubuntu-latest, examples/arduino-internal-libs)	57s
build (ubuntu-latest, examples/arduino-uno-r4-led-animation)	36s
build (ubuntu-latest, examples/arduino-wifiscan)	1m 8s
build (ubuntu-latest, examples/cmsis-blink)	40s
build (ubuntu-latest, examples/fsp-blink)	56s
build (ubuntu-latest, examples/fsp-button-isr)	45s
build (windows-latest, examples/arduino-blink)	2m 3s
build (windows-latest, examples/arduino-internal-libs)	2m 31s
build (windows-latest, examples/arduino-uno-r4-led-animation)	2m 5s
build (windows-latest, examples/arduino-wifiscan)	2m 17s
build (windows-latest, examples/cmsis-blink)	2m 12s
build (windows-latest, examples/fsp-blink)	2m 33s
build (windows-latest, examples/fsp-button-isr)	1m 46s
build (macos-latest, examples/arduino-blink)	1m 25s
build (macos-latest, examples/arduino-internal-libs)	1m 18s
build (macos-latest, examples/arduino-uno-r4-led-animation)	1m 16s
build (macos-latest, examples/arduino-wifiscan)	1m 39s
build (macos-latest, examples/cmsis-blink)	1m 0s
build (macos-latest, examples/fsp-blink)	1m 34s
build (macos-latest, examples/fsp-button-isr)	1m 19s
	30m 57s

Provide feedback