Re: [SeaBIOS] [Seabios] [PATCH v2] seabios: restore piix pm config registers after resume