want to verify equivalence of Kconfig variants