diff --git a/configs/arduino-due/src/sam_autoleds.c b/configs/arduino-due/src/sam_autoleds.c
index ad8e0e3d2e2..6fceb4c325e 100644
--- a/configs/arduino-due/src/sam_autoleds.c
+++ b/configs/arduino-due/src/sam_autoleds.c
@@ -44,12 +44,15 @@
 #include <debug.h>
 
 #include <nuttx/board.h>
-#include <arch/board/board.h>
 
 #include "chip.h"
 #include "sam_gpio.h"
 #include "arduino-due.h"
 
+/* The board.h file may override pin configurations defined in sam_pinmap.h */
+
+#include <arch/board/board.h>
+
 #ifdef CONFIG_ARCH_LEDS
 
 /****************************************************************************
diff --git a/configs/sama5d3x-ek/src/sam_ov2640.c b/configs/sama5d3x-ek/src/sam_ov2640.c
index 3118e056b64..617b13cd518 100644
--- a/configs/sama5d3x-ek/src/sam_ov2640.c
+++ b/configs/sama5d3x-ek/src/sam_ov2640.c
@@ -197,6 +197,7 @@ static inline int ov2640_camera_initialize(void)
   actual = sam_pck_configure(PCK1, PCKSRC_MCK, OV2640_FREQUENCY);
   gvdbg("Desired PCK1 frequency: %ld Actual: %ld\n",
         (long)OV2640_FREQUENCY, (long)actual);
+  UNUSED(actual);
 
   sam_pck_enable(PCK1, true);