kernel: add missing option