[coreboot-gerrit] Patch set updated for coreboot: d45b15e superio/nuvoton: Add support for Nuvoton NCT5572D