Support 64-bit reserved_at_zero value nacl-side

tests/spec2k/run_all.sh

Index: tests/spec2k/run_all.sh
diff --git a/tests/spec2k/run_all.sh b/tests/spec2k/run_all.sh
index 01a052c00aeecf2459cfc3a6c8e70327b3776c09..c7ea27b7605e9db0545d4c049f1be8409a9cb903 100755
--- a/tests/spec2k/run_all.sh
+++ b/tests/spec2k/run_all.sh
@@ -505,9 +505,10 @@ SetupSelLdr() {
   # We don't CheckFileBuilt for VALIDATOR because we currently don't build
   # or use it on x86
 
+  TEMPLATE_DIGITS="XXXXXXXXXXXXXXXX"
   PREFIX="${prefix} ${SEL_LDR_BOOTSTRAP} \
-${SEL_LDR} --r_debug=0xXXXXXXXXXXXXXXXX \
---reserved_at_zero=0xXXXXXXXX -B ${IRT_IMAGE} \
+${SEL_LDR} --r_debug=0x${TEMPLATE_DIGITS} \
+--reserved_at_zero=0x${TEMPLATE_DIGITS} -B ${IRT_IMAGE} \
 -a ${extra_flags} -f ${preload}"
   DASHDASH="--"
 }