From 9665db3efc6c0891f72185b96dee547611b13bf7 Mon Sep 17 00:00:00 2001
From: David Sidrane <david_s5@nscdg.com>
Date: Fri, 20 Jan 2017 05:43:41 -1000
Subject: [PATCH] Use px4_config.h not board_config.h

---
 src/modules/systemlib/board_serial.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/modules/systemlib/board_serial.c b/src/modules/systemlib/board_serial.c
index 563b5141c7..7097cda0b5 100644
--- a/src/modules/systemlib/board_serial.c
+++ b/src/modules/systemlib/board_serial.c
@@ -40,8 +40,8 @@
  *
  */
 
+#include <px4_config.h>
 #include "otp.h"
-#include "board_config.h"
 #include "board_serial.h"
 
 int get_board_serial(uint8_t *serialid)