The fields of the _CPC object are unsigned 32-bits values.
To avoid overflows while using _CPC's values, add 'u64' casts.
Signed-off-by: NPierre Gondois <pierre.gondois@arm.com>
Signed-off-by: NViresh Kumar <viresh.kumar@linaro.org>