Fix path for kernel config files