Fix Kernel config