as_mbed_library: Fix KernelDebug example build

Author: facchinm

libraries/KernelDebug/src/KernelDebug.cpp

@@ -17,6 +17,7 @@
 #include <MRI.h>
 #include <cmsis_os2.h>
 #include <rtx_os.h>
+#include "Arduino.h"
 #include "KernelDebug.h"
 
 // Put armv7-m module into handler mode before including its header and source code.

libraries/KernelDebug/src/KernelDebug.h

@@ -30,9 +30,8 @@
 */
 #pragma once
 
-#include <mbed.h>
 #include <pinDefinitions.h>
-
+#include <mbed.h>
 
 namespace arduino {