diff --git a/sys/arm/at91/kb920x_machdep.c b/sys/arm/at91/kb920x_machdep.c
index 72b686e0536b..2647e61a169f 100644
--- a/sys/arm/at91/kb920x_machdep.c
+++ b/sys/arm/at91/kb920x_machdep.c
@@ -483,7 +483,7 @@ initarm(void *arg, void *arg2)
 	phys_avail[i++] = KERNPHYSADDR;
 #endif
 	phys_avail[i++] = virtual_avail - KERNVIRTADDR + KERNPHYSADDR;
-	phys_avail[i++] = KERNPHYSADDR + memsize;
+	phys_avail[i++] = PHYSADDR + memsize;
 	phys_avail[i++] = 0;
 	phys_avail[i++] = 0;
 	/* Do basic tuning, hz etc */