Re: [SeaBIOS] [PATCH V2] fw/pci: add Q35 S3 support