Re: [SeaBIOS] [PATCH] Running vgabios during resume from S3 on QEMU by default