[coreboot-gerrit] Patch set updated for coreboot: a7d7a90 usbdebug: Export ehci_bar through usbdebug_simple_init_at()