Revert "Merge branch 'kernel_override' into 'master'"

This reverts merge request !115
1 job for revert-b4d800a1 in 14 seconds