diff --git a/linux/testvector-generation/genCheckpoint.sh b/linux/testvector-generation/genCheckpoint.sh
index dea4d555..4ac47882 100755
--- a/linux/testvector-generation/genCheckpoint.sh
+++ b/linux/testvector-generation/genCheckpoint.sh
@@ -109,7 +109,7 @@ then
     x/1xw 0x0C201000
     set logging off
     shell echo \"GDB storing RAM to $rawRamFile\"
-    dump binary memory $rawRamFile 0x80000000 0xffffffff
+    dump binary memory $rawRamFile 0x80000000 0x07ffffff
     kill
     q
 end_of_script