Re: [SeaBIOS] [PATCH] vga: rework bar detection, add virtio-vga