Re: [Linaro-uefi] [PATCH 0/3] Platforms: switch to generic ResetSystemRuntimeDxe