fix Kconfig from faux123 merge