[coreboot-gerrit] Patch merged into coreboot/master: 545b30d intel usbdebug: Add choice of EHCI controller