Index: generic/src/console/cmd.c
===================================================================
--- generic/src/console/cmd.c	(revision 93b84b3c39c5f623f2855694d31930674e24a165)
+++ generic/src/console/cmd.c	(revision ebbdb8fd8b3f471868d0d452f8ad473aa432226e)
@@ -522,5 +522,5 @@
 	} else {
 		if (pointer)
-			addr = (__u32 *)*addr;
+			addr = (__u32 *)(*(__native *)addr);
 		printf("Writing 0x%x -> 0x%p\n", arg1, addr);
 		*addr = arg1;