kernel: add missing kernel config option