-#include "syscalls_integers_override.h"
-
#ifdef CONFIG_X86_64
#include "x86-64-syscalls-3.0.4_integers.h"
#endif
#ifdef CONFIG_X86_32
#include "x86-32-syscalls-3.1.0-rc6_integers.h"
#endif
+
+#ifdef CONFIG_ARM
+#include "arm-32-syscalls-3.4.25_integers.h"
+#endif