Fixes in kernel config file