Index: kernel/generic/src/console/cmd.c
===================================================================
--- kernel/generic/src/console/cmd.c	(revision 9b11a9713f6f55d4238b0f328de4c3d87f51d55d)
+++ kernel/generic/src/console/cmd.c	(revision 894d9ea4ebb3dc44d6c4351bbf2dd01289949937)
@@ -696,13 +696,14 @@
 	uint8_t *ptr = NULL;
 #ifdef IO_SPACE_BOUNDARY
-	if (argv->intval < IO_SPACE_BOUNDARY)
-		ptr = argv[0].intval;
+	if ((void *) argv->intval < IO_SPACE_BOUNDARY)
+		ptr = (void *) argv[0].intval;
 	else
 #endif
-		ptr = (uint8_t*)km_map(argv[0].intval, sizeof(uint8_t), PAGE_NOT_CACHEABLE);
+		ptr = (uint8_t*) km_map(argv[0].intval, sizeof(uint8_t),
+		    PAGE_NOT_CACHEABLE);
 	const uint8_t val = pio_read_8(ptr);
-	printf("read %x: %"PRIx8"\n", argv[0].intval, val);
+	printf("read %"PRIxn": %"PRIx8"\n", argv[0].intval, val);
 #ifdef IO_SPACE_BOUNDARY
-	if (argv->intval < IO_SPACE_BOUNDARY)
+	if ((void *) argv->intval < IO_SPACE_BOUNDARY)
 		return 1;
 #endif
@@ -721,13 +722,14 @@
 	uint16_t *ptr = NULL;
 #ifdef IO_SPACE_BOUNDARY
-	if (argv->intval < IO_SPACE_BOUNDARY)
-		ptr = argv[0].intval;
+	if ((void *) argv->intval < IO_SPACE_BOUNDARY)
+		ptr = (void *)argv[0].intval;
 	else
 #endif
-		ptr = (uint16_t*)km_map(argv[0].intval, sizeof(uint16_t), PAGE_NOT_CACHEABLE);
+		ptr = (uint16_t*)km_map(argv[0].intval, sizeof(uint16_t),
+		    PAGE_NOT_CACHEABLE);
 	const uint16_t val = pio_read_16(ptr);
-	printf("read %x: %"PRIx16"\n", argv[0].intval, val);
+	printf("read %"PRIxn": %"PRIx16"\n", argv[0].intval, val);
 #ifdef IO_SPACE_BOUNDARY
-	if (argv->intval < IO_SPACE_BOUNDARY)
+	if ((void *) argv->intval < IO_SPACE_BOUNDARY)
 		return 1;
 #endif
@@ -746,13 +748,14 @@
 	uint32_t *ptr = NULL;
 #ifdef IO_SPACE_BOUNDARY
-	if (argv->intval < IO_SPACE_BOUNDARY)
-		ptr = argv[0].intval;
+	if ((void *) argv->intval < IO_SPACE_BOUNDARY)
+		ptr = (void *) argv[0].intval;
 	else
 #endif
-		ptr = (uint32_t*)km_map(argv[0].intval, sizeof(uint32_t), PAGE_NOT_CACHEABLE);
+		ptr = (uint32_t*)km_map(argv[0].intval, sizeof(uint32_t),
+		    PAGE_NOT_CACHEABLE);
 	const uint32_t val = pio_read_32(ptr);
-	printf("read %#x: %#"PRIx32"\n", argv[0].intval, val);
+	printf("read %"PRIxn": %"PRIx32"\n", argv[0].intval, val);
 #ifdef IO_SPACE_BOUNDARY
-	if (argv->intval < IO_SPACE_BOUNDARY)
+	if ((void *) argv->intval < IO_SPACE_BOUNDARY)
 		return 1;
 #endif
@@ -771,13 +774,15 @@
 	uint8_t *ptr = NULL;
 #ifdef IO_SPACE_BOUNDARY
-	if (argv->intval < IO_SPACE_BOUNDARY)
-		ptr = argv[0].intval;
+	if ((void *) argv->intval < IO_SPACE_BOUNDARY)
+		ptr = (void *) argv[0].intval;
 	else
 #endif
-		ptr = (uint8_t*)km_map(argv[0].intval, sizeof(uint8_t), PAGE_NOT_CACHEABLE);
-	printf("write %x: %"PRIx8"\n", argv[0].intval, (uint8_t)argv[1].intval);
+		ptr = (uint8_t*)km_map(argv[0].intval, sizeof(uint8_t),
+		    PAGE_NOT_CACHEABLE);
+	printf("write %"PRIxn": %"PRIx8"\n", argv[0].intval,
+	    (uint8_t)argv[1].intval);
 	pio_write_8(ptr, (uint8_t)argv[1].intval);
 #ifdef IO_SPACE_BOUNDARY
-	if (argv->intval < IO_SPACE_BOUNDARY)
+	if ((void *) argv->intval < IO_SPACE_BOUNDARY)
 		return 1;
 #endif
@@ -796,13 +801,15 @@
 	uint16_t *ptr = NULL;
 #ifdef IO_SPACE_BOUNDARY
-	if (argv->intval < IO_SPACE_BOUNDARY)
-		ptr = argv[0].intval;
+	if ((void *) argv->intval < IO_SPACE_BOUNDARY)
+		ptr = (void *) argv[0].intval;
 	else
 #endif
-		ptr = (uint16_t*)km_map(argv[0].intval, sizeof(uint16_t), PAGE_NOT_CACHEABLE);
-	printf("write %x: %"PRIx16"\n", argv[0].intval, (uint16_t)argv[1].intval);
+		ptr = (uint16_t*)km_map(argv[0].intval, sizeof(uint16_t),
+		    PAGE_NOT_CACHEABLE);
+	printf("write %"PRIxn": %"PRIx16"\n", argv[0].intval,
+	    (uint16_t)argv[1].intval);
 	pio_write_16(ptr, (uint16_t)argv[1].intval);
 #ifdef IO_SPACE_BOUNDARY
-	if (argv->intval < IO_SPACE_BOUNDARY)
+	if ((void *) argv->intval < IO_SPACE_BOUNDARY)
 		return 1;
 #endif
@@ -821,13 +828,15 @@
 	uint32_t *ptr = NULL;
 #ifdef IO_SPACE_BOUNDARY
-	if (argv->intval < IO_SPACE_BOUNDARY)
-		ptr = argv[0].intval;
+	if ((void *) argv->intval < IO_SPACE_BOUNDARY)
+		ptr = (void *) argv[0].intval;
 	else
 #endif
-		ptr = (uint32_t*)km_map(argv[0].intval, sizeof(uint32_t), PAGE_NOT_CACHEABLE);
-	printf("write %x: %"PRIx32"\n", argv[0].intval, (uint32_t)argv[1].intval);
+		ptr = (uint32_t*)km_map(argv[0].intval, sizeof(uint32_t),
+		    PAGE_NOT_CACHEABLE);
+	printf("write %"PRIxn": %"PRIx32"\n", argv[0].intval,
+	    (uint32_t)argv[1].intval);
 	pio_write_32(ptr, (uint32_t)argv[1].intval);
 #ifdef IO_SPACE_BOUNDARY
-	if (argv->intval < IO_SPACE_BOUNDARY)
+	if ((void *) argv->intval < IO_SPACE_BOUNDARY)
 		return 1;
 #endif