Added spuriously ignored kconfig files.