[coreboot-gerrit] Patch set updated for coreboot: 52bc4f4 rambi: Enable USB boot with EHCI controller