Fix typo in kernel option.