Addapt to RIOT changes (#452)

kfessel · web-flow · commit 7d8b79a7a783 · 2020-11-27T09:10:00.000+08:00
RIOT removed kernel_types.h in favor of sched.h
diff --git a/core/shared/platform/riot/platform_internal.h b/core/shared/platform/riot/platform_internal.h
@@ -8,7 +8,7 @@
 #define _PLATFORM_INTERNAL_H
 
 //Riot includes core
-#include <kernel_types.h>
+#include <sched.h>
 #include <thread.h>
 #include <mutex.h>
 
