error can not solve when building dune sandbox

[dreamerlucy]

when I build dune, some errors appear. Just as below:

root@ubuntu:/home/dune# ./dune_req.sh
Checking for x86_64 Linux... yes
Checking for VT-x (w/ EPT and VPID)... yes
Checking kernel version (3.0 or later) ... yes
Checking for kernel headers... yes
Checking for syscall table location... yes
root@ubuntu:/home/dune# make
make -C kern
make[1]: Entering directory /home/dune/kern' mkdir -p /home/dune/kern/tmp/.tmp_versions make -C /lib/modules/3.16.0-36-generic/build M=/home/dune/kern MODVERDIR=/home/dune/kern/tmp/.tmp_versions modules make[2]: Entering directory /usr/src/linux-headers-3.16.0-36-generic'
CC [M] /home/dune/kern/vmx.o
/home/dune/kern/vmx.c: In function ‘__vmx_enable’:
/home/dune/kern/vmx.c:2016:2: error: implicit declaration of function ‘cr4_set_bits’ [-Werror=implicit-function-declaration]
cr4_set_bits(X86_CR4_VMXE);
^
/home/dune/kern/vmx.c: In function ‘vmx_disable’:
/home/dune/kern/vmx.c:2058:3: error: implicit declaration of function ‘cr4_clear_bits’ [-Werror=implicit-function-declaration]
cr4_clear_bits(X86_CR4_VMXE);
^
cc1: some warnings being treated as errors
make[3]: *** [/home/dune/kern/vmx.o] Error 1
make[2]: *** [module/home/dune/kern] Error 2
make[2]: Leaving directory /usr/src/linux-headers-3.16.0-36-generic' make[1]: *** [modules] Error 2 make[1]: Leaving directory /home/dune/kern'
make: *** [kern] Error 2