[coreboot-gerrit] New patch to review for coreboot: 7e4028b libpayload: EHCI - detach controller in ehci_shutdown()