get error when compiling dune

[piginthesettingsun]

When I followed the README to start my work on Shinjuku, I got error when it try to compile Dune module.

make -C kern
make[1]: Entering directory `/home/shenyifan/programs/shinjuku/deps/dune/kern'
mkdir -p /home/shenyifan/programs/shinjuku/deps/dune/kern/tmp/.tmp_versions
make -C /lib/modules/3.10.0-327.el7.x86_64/build M=/home/shenyifan/programs/shinjuku/deps/dune/kern MODVERDIR=/home/shenyifan/programs/shinjuku/deps/dune/kern/tmp/.tmp_versions modulesmake[2]: Entering directory `/usr/src/kernels/3.10.0-327.el7.x86_64'
  CC [M]  /home/shenyifan/programs/shinjuku/deps/dune/kern/vmx.o
/home/shenyifan/programs/shinjuku/deps/dune/kern/vmx.c: In function ‘vmx_launch’:
/home/shenyifan/programs/shinjuku/deps/dune/kern/vmx.c:1833:26: error: invalid register name for ‘current_stack_pointer’
   register unsigned long current_stack_pointer asm(_ASM_SP);
                          ^
make[3]: *** [/home/shenyifan/programs/shinjuku/deps/dune/kern/vmx.o] Error 1
make[2]: *** [_module_/home/shenyifan/programs/shinjuku/deps/dune/kern] Error 2
make[2]: Leaving directory `/usr/src/kernels/3.10.0-327.el7.x86_64'
make[1]: *** [modules] Error 2
make[1]: Leaving directory `/home/shenyifan/programs/shinjuku/deps/dune/kern'
make: *** [kern] Error 2

My server's OS is CentOS 7.6.1810 with linux kernel 3.10.0, with two Intel Xeon E5-2630 v4 CPU, and I can successfully run IX and ZygOS on this server.
So do you have any idea what's wrong with dune module? Does this version of Dune not adapted to my kernel version? Because when I try to run ZygOS I also got some problems because of my kernel version. If so, which kernel version should I choose?

[piginthesettingsun]

I download the newest Dune and successfully compile it on my machine. And I checked the VT-x is enabled on my machine by checking kvm module.
Is the problem incurred by the Dune code modified by the Shinjuku?
And should I use a new kernel, which version would be suitable?