Kernel needs CONFIG_KERNEL_MIPS_FP_SUPPORT, otherwise init segfaults.
@@ -141,6 +141,10 @@ config ADK_LINUX_KERNEL_KERNEL_MODE_NEON
bool
default y if ADK_TARGET_ARCH_ARM_WITH_NEON
+config ADK_LINUX_KERNEL_MIPS_FP_SUPPORT
+ bool
+ default y
+
config ADK_LINUX_KERNEL_PATCH_REALTIME