Re: [SeaBIOS] [edk2] [PATCH 0/8] OvmfPkg: reset-related changes