Re: [SeaBIOS] [PATCH 2/4] usb: don't free usbdev