diff --git a/arch/arm/src/lpc43xx/lpc43_adc.c b/arch/arm/src/lpc43xx/lpc43_adc.c
index 4286451f11e..2a9db4297d9 100644
--- a/arch/arm/src/lpc43xx/lpc43_adc.c
+++ b/arch/arm/src/lpc43xx/lpc43_adc.c
@@ -59,7 +59,6 @@
 #include <assert.h>
 #include <debug.h>
 
-#include <arch/board/board.h>
 #include <nuttx/irq.h>
 #include <nuttx/arch.h>
 #include <nuttx/analog/adc.h>
@@ -80,6 +79,12 @@
 
 #include "lpc43_pinconfig.h"
 
+/* board.h should be included last because it depends on the previous
+ * inclusions and may need to modify other definitions.
+ */
+
+#include <arch/board/board.h>
+
 #if defined(CONFIG_LPC43_ADC0) /* TODO ADC1 */
 
 /****************************************************************************
diff --git a/tools/README.txt b/tools/README.txt
index 408bccad7b3..595849f9ad7 100644
--- a/tools/README.txt
+++ b/tools/README.txt
@@ -104,6 +104,16 @@ kconfig2html.c
     <Kconfig root> is the directory containing the root Kconfig file.
          Default <Kconfig directory>: .
 
+  NOTE: In order to use this tool, some configuration must be in-place will
+  all necessary symbolic links.  You can establish the configured symbolic
+  links with:
+
+    make context
+
+  or more quickly with:
+
+    make dirlinks
+
 mkconfigvars.sh
 ---------------