added kernel config for kernel debugging post