kernel: Add missing kernel configuration options