kernel: Add missing config option