[coreboot-gerrit] Patch merged into coreboot/master: 8101aa6 usbdebug: Support choice of EHCI controller

the following patch was just integrated into master:
commit 8101aa6bb02c586cd0d1ab2cf99148329319aaf9
Author: Kyösti Mälkki 
Date:   Thu Aug 15 16:27:06 2013 +0300

usbdebug: Support choice of EHCI controller

Nowadays, chipsets or boards do not only have one USB port with the
    capabilities of a debug port but several ones. Some of these ports are
    easier accessible than others, so making them configurable is also necessary.
    This change adds infrastructure to switch between EHCI controllers,
    but does not implement it for any chipset.

Change-Id: I079643870104fbc64091a54e1bfd56ad24422c9f
    Signed-off-by: Kyösti Mälkki 
    Reviewed-on: http://review.coreboot.org/3438
    Tested-by: build bot (Jenkins)
    Reviewed-by: Aaron Durbin

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

-gerrit