updated the kernel config file