Kernel headers usually exist in either: - `/usr/src/` - `/usr/src/kernels/` Can that be prefilled in the config directly? This should reduce the involvement of datacrumbs setup.