scripts/diffconfig.sh: fix handing of CONFIG_TARGET_MULTI_PROFILE