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