Fix a typo for the kernel config