diff --git a/arch/arm/src/lpc313x/lpc313x_boot.c b/arch/arm/src/lpc313x/lpc313x_boot.c
index 4e96e60c807..cd3de31aee9 100755
--- a/arch/arm/src/lpc313x/lpc313x_boot.c
+++ b/arch/arm/src/lpc313x/lpc313x_boot.c
@@ -92,8 +92,10 @@ static const struct section_mapping_s section_mapping[] =
 {
   { LPC313X_SHADOWSPACE_PSECTION, LPC313X_SHADOWSPACE_VSECTION, 
     LPC313X_SHADOWSPACE_MMUFLAGS, LPC313X_SHADOWSPACE_NSECTIONS},
+#ifndef CONFIG_PAGING /* SRAM is already fully mapped */
   { LPC313X_INTSRAM_PSECTION, LPC313X_INTSRAM_VSECTION, 
     LPC313X_INTSRAM_MMUFLAGS, LPC313X_INTSRAM_NSECTIONS},
+#endif
 #ifdef CONFIG_ARCH_ROMPGTABLE
   { LPC313X_INTSROM0_PSECTION, LPC313X_INTSROM0_VSECTION, 
     LPC313X_INTSROM_MMUFLAGS, LPC313X_INTSROM0_NSECTIONS},
@@ -392,7 +394,5 @@ void up_boot(void)
 
   /* Perform board-specific initialization */
 
-#ifdef CONFIG_ARCH_LEDS
   lpc313x_boardinitialize();
-#endif
 }