kernel: add missing config symbol (fixes #19880)