Minor fixes to the kernel config