kernel: add missing config option found by buildbot