Merge branch 'switch-devkit-kernel-job' into 'master'

devkit: Use a properly named job building from master

See merge request !70
Status Job ID Name Coverage
  Test
passed #6643
librem5
job

00:00:18