scripts/diffconfig.sh: handle CONFIG_ALL, CONFIG_DEVEL and CONFIG_TOOLCHAINOPTS properly