trivial: Kconfig: .ko is normally not included in module names