Update NuttX and modifications to build with new kernel

src/drivers/bootloaders/boot_app_shared.c

@@ -43,7 +43,7 @@
 #include <errno.h>
 
 #include <px4_arch/micro_hal.h>
-#include "arm_arch.h"
+#include "arm_internal.h"
 #include "boot_app_shared.h"
 
 #include <lib/systemlib/crc.h>

src/drivers/uavcan/uavcan_drivers/kinetis/driver/src/internal.hpp

@@ -9,7 +9,7 @@
 
 #if UAVCAN_KINETIS_NUTTX
 # include <nuttx/arch.h>
-# include "arm_arch.h"
+# include "arm_internal.h"
 # include <arch/board/board.h>
 # include <hardware/kinetis_pit.h>
 # include <hardware/kinetis_sim.h>

src/modules/px4iofirmware/serial.cpp

@@ -49,7 +49,7 @@
 /* XXX might be able to prune these */
 #include <chip.h>
 #include <arm_internal.h>
-#include <arm_arch.h>
+#include <arm_internal.h>
 #include <stm32.h>
 
 //#define DEBUG