Re: [PATCH] sbsa_gwdt: Calculate timeout with 64-bit math