Re: [SeaBIOS] [PATCH 01/13] Generic DMA memory access interface