[SeaBIOS] EHCI driver on Nvidia hardware