diff --git a/docs/user-guide.md b/docs/user-guide.md
index 1afcf3b766ec4677d8b79efffa6d49d8b3f473be..b33c4c0c3a308e081951685f6b757dae89ba5556 100644
--- a/docs/user-guide.md
+++ b/docs/user-guide.md
@@ -817,16 +817,16 @@ with 8 CPUs using the ARM Trusted Firmware.
     -C cluster1.NUM_CORES=4                                      \
     -C cache_state_modelled=1                                    \
     -C bp.pl011_uart0.untimed_fifos=1                            \
-    -C cluster0.cpu0.RVBAR=0x04022000                            \
-    -C cluster0.cpu1.RVBAR=0x04022000                            \
-    -C cluster0.cpu2.RVBAR=0x04022000                            \
-    -C cluster0.cpu3.RVBAR=0x04022000                            \
-    -C cluster1.cpu0.RVBAR=0x04022000                            \
-    -C cluster1.cpu1.RVBAR=0x04022000                            \
-    -C cluster1.cpu2.RVBAR=0x04022000                            \
-    -C cluster1.cpu3.RVBAR=0x04022000                            \
-    --data cluster0.cpu0="<path-to>/<bl31-binary>"@0x04022000    \
-    --data cluster0.cpu0="<path-to>/<bl32-binary>"@0x04000000    \
+    -C cluster0.cpu0.RVBAR=0x04023000                            \
+    -C cluster0.cpu1.RVBAR=0x04023000                            \
+    -C cluster0.cpu2.RVBAR=0x04023000                            \
+    -C cluster0.cpu3.RVBAR=0x04023000                            \
+    -C cluster1.cpu0.RVBAR=0x04023000                            \
+    -C cluster1.cpu1.RVBAR=0x04023000                            \
+    -C cluster1.cpu2.RVBAR=0x04023000                            \
+    -C cluster1.cpu3.RVBAR=0x04023000                            \
+    --data cluster0.cpu0="<path-to>/<bl31-binary>"@0x04023000    \
+    --data cluster0.cpu0="<path-to>/<bl32-binary>"@0x04001000    \
     --data cluster0.cpu0="<path-to>/<bl33-binary>"@0x88000000    \
     -C bp.virtioblockdevice.image_path="<path-to>/<file-system-image>"
 
@@ -844,16 +844,16 @@ boot Linux with 8 CPUs using the ARM Trusted Firmware.
     -C bp.tzc_400.diagnostics=1                                  \
     -C cache_state_modelled=1                                    \
     -C bp.pl011_uart0.untimed_fifos=1                            \
-    -C cluster0.cpu0.RVBARADDR=0x04022000                        \
-    -C cluster0.cpu1.RVBARADDR=0x04022000                        \
-    -C cluster0.cpu2.RVBARADDR=0x04022000                        \
-    -C cluster0.cpu3.RVBARADDR=0x04022000                        \
-    -C cluster1.cpu0.RVBARADDR=0x04022000                        \
-    -C cluster1.cpu1.RVBARADDR=0x04022000                        \
-    -C cluster1.cpu2.RVBARADDR=0x04022000                        \
-    -C cluster1.cpu3.RVBARADDR=0x04022000                        \
-    --data cluster0.cpu0="<path-to>/<bl31-binary>"@0x04022000    \
-    --data cluster0.cpu0="<path-to>/<bl32-binary>"@0x04000000    \
+    -C cluster0.cpu0.RVBARADDR=0x04023000                        \
+    -C cluster0.cpu1.RVBARADDR=0x04023000                        \
+    -C cluster0.cpu2.RVBARADDR=0x04023000                        \
+    -C cluster0.cpu3.RVBARADDR=0x04023000                        \
+    -C cluster1.cpu0.RVBARADDR=0x04023000                        \
+    -C cluster1.cpu1.RVBARADDR=0x04023000                        \
+    -C cluster1.cpu2.RVBARADDR=0x04023000                        \
+    -C cluster1.cpu3.RVBARADDR=0x04023000                        \
+    --data cluster0.cpu0="<path-to>/<bl31-binary>"@0x04023000    \
+    --data cluster0.cpu0="<path-to>/<bl32-binary>"@0x04001000    \
     --data cluster0.cpu0="<path-to>/<bl33-binary>"@0x88000000    \
     -C bp.virtioblockdevice.image_path="<path-to>/<file-system-image>"