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