Re: [SeaBIOS] [Qemu-devel] [PATCH 0/3] switch to seavgabios