Index: kernel/generic/src/console/cmd.c
===================================================================
--- kernel/generic/src/console/cmd.c	(revision 5e904dd96dee1c572274ce3575461b77af422534)
+++ kernel/generic/src/console/cmd.c	(revision 6bf5b8cd8ea2cab6203e1dd42e25d90fd7628fa6)
@@ -728,5 +728,5 @@
 #endif
 		ptr = (uint8_t *) km_map(argv[0].intval, sizeof(uint8_t),
-		    PAGE_NOT_CACHEABLE);
+		    PAGE_SIZE, PAGE_NOT_CACHEABLE);
 
 	const uint8_t val = pio_read_8(ptr);
@@ -758,5 +758,5 @@
 #endif
 		ptr = (uint16_t *) km_map(argv[0].intval, sizeof(uint16_t),
-		    PAGE_NOT_CACHEABLE);
+		    PAGE_SIZE, PAGE_NOT_CACHEABLE);
 
 	const uint16_t val = pio_read_16(ptr);
@@ -788,5 +788,5 @@
 #endif
 		ptr = (uint32_t *) km_map(argv[0].intval, sizeof(uint32_t),
-		    PAGE_NOT_CACHEABLE);
+		    PAGE_SIZE, PAGE_NOT_CACHEABLE);
 
 	const uint32_t val = pio_read_32(ptr);
@@ -818,5 +818,5 @@
 #endif
 		ptr = (uint8_t *) km_map(argv[0].intval, sizeof(uint8_t),
-		    PAGE_NOT_CACHEABLE);
+		    PAGE_SIZE, PAGE_NOT_CACHEABLE);
 
 	printf("write %" PRIxn ": %" PRIx8 "\n", argv[0].intval,
@@ -849,5 +849,5 @@
 #endif
 		ptr = (uint16_t *) km_map(argv[0].intval, sizeof(uint16_t),
-		    PAGE_NOT_CACHEABLE);
+		    PAGE_SIZE, PAGE_NOT_CACHEABLE);
 
 	printf("write %" PRIxn ": %" PRIx16 "\n", argv[0].intval,
@@ -880,5 +880,5 @@
 #endif
 		ptr = (uint32_t *) km_map(argv[0].intval, sizeof(uint32_t),
-		    PAGE_NOT_CACHEABLE);
+		    PAGE_SIZE, PAGE_NOT_CACHEABLE);
 
 	printf("write %" PRIxn ": %" PRIx32 "\n", argv[0].intval,