generic: kernel: Add missing config option