Re: want to verify equivalence of Kconfig variants