[coreboot-gerrit] Patch set updated for coreboot: dd7194a superio/fintek/f71869ad: Fix WDT miss-naming.