cc3200/application.mk: Don't add stm32 to build include path.

Or this port may end up accidentally including unwanted headers from stm32.
Signed-off-by: Damien George <damien@micropython.org>

ports/cc3200/application.mk

@@ -18,7 +18,6 @@ APP_INC += -Iutil
 APP_INC += -Ibootmgr
 APP_INC += -I$(BUILD)
 APP_INC += -I$(BUILD)/genhdr
-APP_INC += -I$(TOP)/ports/stm32
 
 APP_CPPDEFINES = -Dgcc -DTARGET_IS_CC3200 -DSL_FULL -DUSE_FREERTOS
 

ports/cc3200/mods/pybadc.c

@@ -32,7 +32,7 @@
 #include "py/binary.h"
 #include "py/gc.h"
 #include "py/mperrno.h"
-#include "bufhelper.h"
+#include "ports/stm32/bufhelper.h"
 #include "inc/hw_types.h"
 #include "inc/hw_adc.h"
 #include "inc/hw_ints.h"

ports/cc3200/mods/pybi2c.c

@@ -31,7 +31,7 @@
 #include "py/runtime.h"
 #include "py/mperrno.h"
 #include "py/mphal.h"
-#include "bufhelper.h"
+#include "ports/stm32/bufhelper.h"
 #include "inc/hw_types.h"
 #include "inc/hw_i2c.h"
 #include "inc/hw_ints.h"

ports/cc3200/mods/pybspi.c

@@ -30,7 +30,7 @@
 
 #include "py/runtime.h"
 #include "py/mperrno.h"
-#include "bufhelper.h"
+#include "ports/stm32/bufhelper.h"
 #include "inc/hw_types.h"
 #include "inc/hw_mcspi.h"
 #include "inc/hw_ints.h"