Merge branch '67-add-instructions-for-compiling-devkit-kernel' into 'master'

Resolve "Add instructions for compiling devkit kernel"

Closes #67

See merge request !190
2 jobs for master
in 9 minutes and 46 seconds, using 0.0 compute credits, and was queued for 2 seconds