We fixed an issue where the Kconfig language server could crash if a configuration file was included in the build, but unknown to VS Code. The issue would manifest as an error notification with the text "AttributeError: 'NoneType' object has no attribute 'mtime'"