[coreboot-gerrit] Patch merged into coreboot/master: 7a9da71 libpayload: EHCI - detach controller in ehci_shutdown()