[SeaBIOS] EHCI boot problems