Re: [SeaBIOS] [RFC 0/2] QEMU fw_cfg dma interface