Merge branch 'setup-kernel' into 'master'

Fix kernel setup on devkit

Closes #23

See merge request !62
1 job from master in 18 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Test
passed #6667
librem5
job

00:00:18