Re: [SeaBIOS] [PATCH] restore MSRs on S3 resume