Re: [SeaBIOS] running vga bios on resume from S3