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