[Linaro-uefi] [PATCH v2] Platforms/Marvell: switch to generic ResetSystemRuntimeDxe