kernel: Add missing configuration option