[coreboot-gerrit] Patch set updated for coreboot: 35ad5c5 intel usbdebug: Add choice of EHCI controller