[coreboot-gerrit] Patch merged into coreboot/master: a1179ca usbdebug AMD: Add choice of EHCI controller