docs: Update docs for DeviceType alias

Signed-off-by: Milosz Wasilewski <milosz.wasilewski@linaro.org>
15 jobs for device_type_alias in 9 minutes and 1 second (queued for 2 seconds)
Status Job ID Name Coverage
  Test
passed #42480
amd64
dispatcher-debian-10

00:02:25

passed #42478
amd64
dispatcher-debian-9

00:02:45

passed #42481
amd64
server-debian-10

00:01:38

passed #42479
amd64
server-debian-9

00:02:01

 
  Analyze
passed #42483
amd64
black

00:00:31

passed #42485
amd64
code_quality

00:00:24

passed #42484
amd64
codestyle

00:00:38

passed #42487
amd64
job-schema

00:00:42

passed #42486
amd64
pylint

00:02:19

passed #42482
amd64-dind allowed to fail
sast

00:01:52

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

00:01:36

passed #42489
amd64
amd64/pkg-debian-9

00:01:48

passed #42488
amd64
doc

00:01:18

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

00:01:16

passed #42492
amd64-dind
amd64/lava-server

00:02:06