kernel: Add missing config options