FIx Kconfig so that correct module gets built