Re: [SeaBIOS] [PATCH v3] pciinit: Enable default VGA device