kernel-ci
kernel-ci copied to clipboard
Add build option to skip building headers
As they take a long time to build and aren't required by everyone