Re: [SeaBIOS] [PATCH v4 0/2] QEMU fw_cfg DMA interface