kernel: Add missing config option

No match.