[SeaBIOS] [RFC PATCH 13/13] usb-ohci: use the DMA memory access interface