diff --git a/hw/axis_dev88.c b/hw/axis_dev88.c
index 098c275afe..8df536d6be 100644
--- a/hw/axis_dev88.c
+++ b/hw/axis_dev88.c
@@ -350,10 +350,10 @@ void axisdev88_init (ram_addr_t ram_size,
                 fprintf(stderr, "Too long CRIS kernel cmdline (max 256)\n");
                 exit(1);
             }
-            pstrcpy_targphys(high, 256, kernel_cmdline);
             /* Let the kernel know we are modifying the cmdline.  */
             env->regs[10] = 0x87109563;
-            env->regs[11] = high;
+            env->regs[11] = 0x40000000;
+            pstrcpy_targphys(env->regs[11], 256, kernel_cmdline);
         }
     }
     env->pc = bootstrap_pc;
diff --git a/hw/etraxfs.c b/hw/etraxfs.c
index 56cb249773..ad82132c3b 100644
--- a/hw/etraxfs.c
+++ b/hw/etraxfs.c
@@ -141,10 +141,10 @@ void bareetraxfs_init (ram_addr_t ram_size,
                 fprintf(stderr, "Too long CRIS kernel cmdline (max 256)\n");
                 exit(1);
             }
-            pstrcpy_targphys(high, 256, kernel_cmdline);
             /* Let the kernel know we are modifying the cmdline.  */
             env->regs[10] = 0x87109563;
-            env->regs[11] = high;
+            env->regs[11] = 0x40000000;
+            pstrcpy_targphys(env->regs[11], 256, kernel_cmdline);
         }
     }
     env->pc = bootstrap_pc;