Re: [SeaBIOS] EHCI boot problems