[coreboot-gerrit] Patch set updated for coreboot: d2571d6 libpayload (EHCI): correctly align PORTSC