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