[SeaBIOS] running vga bios on resume from S3