The urts library and the signing tool often shift page counts as
32-bit integers, then passes the result as a 64-bit value. This patch
casts page counts into 64-bit integers first, so that large page
counts don't overflow.
Signed-off-by: Warren He <-w@berkeley.edu>
8bde48e653