[coreboot-gerrit] Patch merged into coreboot/master: c371442 libpayload: Switch xHCI shared ports back to EHCI on shutdown