Re: [PATCH] fixdep: fix CONFIG_IS_ENABLED etc. handling