Re: [SeaBIOS] [Qemu-devel] [PATCH v17] Add pvpanic device driver