[coreboot-gerrit] Patch set updated for coreboot: 1b6a0f9 samus: Change GPIO controller label to INT3437:00