Re: [Linaro-uefi] [[edk2][PATCHv1] 0/2] ArmPkg: Generic Watchdog address