typo in kernel config from previous commit