Make the settings dialog aware of the presence of kernel-config