Merge branch 'dp-vs-hdmi' into 'librem5'

Use DisplayPort on phone and HDMI on Devkit

See merge request !35
1 job for librem5 in 2 minutes and 34 seconds
Status Job ID Name Coverage
  Build
passed #288122
librem5
build:cross:debian-buster

00:02:34