defconfig: config option deduplication