scripts/diffconfig.sh: reduce config output with CONFIG_ALL_KMODS