[SeaBIOS] [PATCH 5/5] Add USB EHCI controller support.