Re: [SeaBIOS] [PATCH] xhci: allocate scratch pad buffers