add support for multiple boards of same type in OpenOCD boot method

We pass the board id to OpenOCD via a temporary configuration file created
on the fly, so that each board can be identified.

Device types are updated to provide the appropriate board selection
command to OpenOCD, and to disable the gdb port to avoid collisions when
running concurrent jobs on multiple boards.

Signed-off-by: Vincent Wan <vincent.wan@linaro.org>
15 jobs for multiple_boards in 10 minutes and 25 seconds (queued for 3 seconds)
Status Job ID Name Coverage
  Test
passed #53738
amd64
dispatcher-debian-10

00:02:44

passed #53736
amd64
dispatcher-debian-9

00:03:06

passed #53739
amd64
server-debian-10

00:02:04

passed #53737
amd64
server-debian-9

00:02:28

 
  Analyze
passed #53741
amd64
black

00:00:27

passed #53743
amd64
code_quality

00:00:20

passed #53742
amd64
codestyle

00:00:33

passed #53745
amd64
job-schema

00:00:38

passed #53744
amd64
pylint

00:02:16

passed #53740
amd64-dind allowed to fail
sast

00:01:23

 
  Build
passed #53748
amd64
amd64/pkg-debian-10

00:01:15

passed #53747
amd64
amd64/pkg-debian-9

00:01:39

passed #53746
amd64
doc

00:01:10

 
  Docker
passed #53749
amd64-dind
amd64/lava-dispatcher

00:03:05

passed #53750
amd64-dind
amd64/lava-server

00:03:22