Fix an issue causing kernel-config.py not to process indented "source" directive in Kconfig for this.