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

the following patch was just integrated into master:
commit c371442a2925e9bfc9ddc045bfd446db53f0a145
Author: Nico Huber 
Date:   Fri Jul 19 14:03:47 2013 +0200

libpayload: Switch xHCI shared ports back to EHCI on shutdown

On Intel's Panther Point the xHCI ports are shared with an EHCI
    controller. Our xHCI driver switches them to xHCI, naturally. But
    we forgot to switch them back on shutdown, which left them
    unusable by a non-xHCI aware operating system.

Change-Id: I70ef08655a603b42ee939935d50cf77ea97878a3
    Signed-off-by: Nico Huber 
    Reviewed-on: http://review.coreboot.org/3791
    Tested-by: build bot (Jenkins)
    Reviewed-by: Paul Menzel 
    Reviewed-by: Patrick Georgi

See http://review.coreboot.org/3791 for details.

-gerrit