Re: [SeaBIOS] [PATCH] USB-EHCI: Fix null pointer assignment