[OpenBIOS] Re: [PATCH] drivers/usb: Fix building with gcc 10.x