Index: kernel/arch/arm32/src/mach/integratorcp/integratorcp.c
===================================================================
--- kernel/arch/arm32/src/mach/integratorcp/integratorcp.c	(revision 3bacee1839e6f355100ab4ea86bb211e9ecf19ed)
+++ kernel/arch/arm32/src/mach/integratorcp/integratorcp.c	(revision f712a858b9463dae30e9eee5ef1ccc54ae618f02)
@@ -84,8 +84,8 @@
 	134217728,	/* 128mb */
 	268435456,	/* 256mb */
-	0,		/* Reserverd */
-	0,		/* Reserverd */
-	0		/* Reserverd */
-	};
+	0,		/* Reserved */
+	0,		/* Reserved */
+	0		/* Reserved */
+};
 
 void icp_vga_init(void);