Add an ioctl interface for userspace to kernel calls

This adds an ioctl interface for NuttX protected build, allowing
system calls from user space to kernel for uORB, HRT and crypto

Signed-off-by: Jukka Laitinen <jukkax@ssrc.tii.ae>

platforms/nuttx/src/px4/common/px4_init.cpp

@@ -56,11 +56,21 @@
 #include <px4_platform_common/crypto.h>
 #endif
 
+#if !defined(CONFIG_BUILD_FLAT)
+#include <px4_platform/board_ctrl.h>
+#endif
+
 extern void cdcacm_init(void);
 
 int px4_platform_init()
 {
 
+#if !defined(CONFIG_BUILD_FLAT)
+	/* initialize userspace-kernelspace call gate interface */
+
+	kernel_ioctl_initialize();
+#endif
+
 	int ret = px4_console_buffer_init();
 
 	if (ret < 0) {