[herd] Attempt to limit the number of spurious AF updates#1730

maranget wants to merge 2 commits intomasterherd/herdtools7:masterfrom

more-hwupdateherd/herdtools7:more-hwupdateCopy head branch name to clipboard