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 3cf22f98e8b62fe3239495266885864a48c85a80)
@@ -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);