first ... thanks for your support to bring Arch Linux on ARM

I own a CubieTruck with a SSD connected, running linux-4.0.0-rc2-1-ARCH and it's working great.
CpuFreq is working fine with this kernel ... here are some hardware-stats:
$this->bbcode_second_pass_code('', 'Linux: 4.0.0-rc2-1-ARCH
Uptime: 53 min
CPU Temp: 27°C
CPU Clock: 528MHz (ondemand)
CPU Clock Statistik:
312 MHz:76,07%
528 MHz:10,01%
720 MHz:2,06%
864 MHz:1,73%
912 MHz:1,21%
960 MHz:3,00%
1.01 GHz:5,92%
RAM free: 1795MB / 2005MB
MMC/SD
/dev/mmcblk0p1 on / type ext4 (rw,relatime,data=ordered)
HDD/SSD
/dev/sda: SanDisk SDSSDHP128G 32°C
/dev/sda1: 111GB of 118GB available and mounted in /srv')
But i can not build mali kernel-driver (downloaded from mali-hp)
Make the kernel-driver is failing with the following error:
$this->bbcode_second_pass_code('', 'michael@CubieTruck mali $ LANG=C KDIR=/lib/modules/4.0.0-rc2-1-ARCH/build/ USING_UMP=1 BUILD=release make all
Makefile:82: /srv/home/michael/build/mali_gpu_linux/DX910-SW-99002-r5p0-01rel0/driver/src/devicedrv/ump/Module.symvers
make ARCH=arm -C /lib/modules/4.0.0-rc2-1-ARCH/build/ M=/srv/home/michael/build/mali_gpu_linux/DX910-SW-99002-r5p0-01rel0/driver/src/devicedrv/mali modules
make[1]: Entering directory '/usr/lib/modules/4.0.0-rc2-1-ARCH/build'
CC [M] /srv/home/michael/build/mali_gpu_linux/DX910-SW-99002-r5p0-01rel0/driver/src/devicedrv/mali/linux/mali_osk_atomics.o
CC [M] /srv/home/michael/build/mali_gpu_linux/DX910-SW-99002-r5p0-01rel0/driver/src/devicedrv/mali/linux/mali_osk_irq.o
CC [M] /srv/home/michael/build/mali_gpu_linux/DX910-SW-99002-r5p0-01rel0/driver/src/devicedrv/mali/linux/mali_osk_wq.o
CC [M] /srv/home/michael/build/mali_gpu_linux/DX910-SW-99002-r5p0-01rel0/driver/src/devicedrv/mali/linux/mali_osk_locks.o
CC [M] /srv/home/michael/build/mali_gpu_linux/DX910-SW-99002-r5p0-01rel0/driver/src/devicedrv/mali/linux/mali_osk_wait_queue.o
CC [M] /srv/home/michael/build/mali_gpu_linux/DX910-SW-99002-r5p0-01rel0/driver/src/devicedrv/mali/linux/mali_osk_low_level_mem.o
CC [M] /srv/home/michael/build/mali_gpu_linux/DX910-SW-99002-r5p0-01rel0/driver/src/devicedrv/mali/linux/mali_osk_math.o
CC [M] /srv/home/michael/build/mali_gpu_linux/DX910-SW-99002-r5p0-01rel0/driver/src/devicedrv/mali/linux/mali_osk_memory.o
CC [M] /srv/home/michael/build/mali_gpu_linux/DX910-SW-99002-r5p0-01rel0/driver/src/devicedrv/mali/linux/mali_osk_misc.o
CC [M] /srv/home/michael/build/mali_gpu_linux/DX910-SW-99002-r5p0-01rel0/driver/src/devicedrv/mali/linux/mali_osk_mali.o
CC [M] /srv/home/michael/build/mali_gpu_linux/DX910-SW-99002-r5p0-01rel0/driver/src/devicedrv/mali/linux/mali_osk_notification.o
CC [M] /srv/home/michael/build/mali_gpu_linux/DX910-SW-99002-r5p0-01rel0/driver/src/devicedrv/mali/linux/mali_osk_time.o
CC [M] /srv/home/michael/build/mali_gpu_linux/DX910-SW-99002-r5p0-01rel0/driver/src/devicedrv/mali/linux/mali_osk_timers.o
CC [M] /srv/home/michael/build/mali_gpu_linux/DX910-SW-99002-r5p0-01rel0/driver/src/devicedrv/mali/linux/mali_memory.o
CC [M] /srv/home/michael/build/mali_gpu_linux/DX910-SW-99002-r5p0-01rel0/driver/src/devicedrv/mali/linux/mali_memory_os_alloc.o
CC [M] /srv/home/michael/build/mali_gpu_linux/DX910-SW-99002-r5p0-01rel0/driver/src/devicedrv/mali/linux/mali_memory_external.o
CC [M] /srv/home/michael/build/mali_gpu_linux/DX910-SW-99002-r5p0-01rel0/driver/src/devicedrv/mali/linux/mali_memory_block_alloc.o
CC [M] /srv/home/michael/build/mali_gpu_linux/DX910-SW-99002-r5p0-01rel0/driver/src/devicedrv/mali/linux/mali_ukk_mem.o
CC [M] /srv/home/michael/build/mali_gpu_linux/DX910-SW-99002-r5p0-01rel0/driver/src/devicedrv/mali/linux/mali_ukk_gp.o
CC [M] /srv/home/michael/build/mali_gpu_linux/DX910-SW-99002-r5p0-01rel0/driver/src/devicedrv/mali/linux/mali_ukk_pp.o
CC [M] /srv/home/michael/build/mali_gpu_linux/DX910-SW-99002-r5p0-01rel0/driver/src/devicedrv/mali/linux/mali_ukk_core.o
CC [M] /srv/home/michael/build/mali_gpu_linux/DX910-SW-99002-r5p0-01rel0/driver/src/devicedrv/mali/linux/mali_ukk_soft_job.o
In file included from /srv/home/michael/build/mali_gpu_linux/DX910-SW-99002-r5p0-01rel0/driver/src/devicedrv/mali/common/mali_timeline.h:19:0,
from /srv/home/michael/build/mali_gpu_linux/DX910-SW-99002-r5p0-01rel0/driver/src/devicedrv/mali/common/mali_soft_job.h:16,
from /srv/home/michael/build/mali_gpu_linux/DX910-SW-99002-r5p0-01rel0/driver/src/devicedrv/mali/linux/mali_ukk_soft_job.c:19:
/srv/home/michael/build/mali_gpu_linux/DX910-SW-99002-r5p0-01rel0/driver/src/devicedrv/mali/linux/mali_sync.h:27:18: fatal error: sync.h: No such file or directory
#include <sync.h>
^
compilation terminated.
scripts/Makefile.build:258: recipe for target '/srv/home/michael/build/mali_gpu_linux/DX910-SW-99002-r5p0-01rel0/driver/src/devicedrv/mali/linux/mali_ukk_soft_job.o' failed
make[2]: *** [/srv/home/michael/build/mali_gpu_linux/DX910-SW-99002-r5p0-01rel0/driver/src/devicedrv/mali/linux/mali_ukk_soft_job.o] Error 1
Makefile:1390: recipe for target '_module_/srv/home/michael/build/mali_gpu_linux/DX910-SW-99002-r5p0-01rel0/driver/src/devicedrv/mali' failed
make[1]: *** [_module_/srv/home/michael/build/mali_gpu_linux/DX910-SW-99002-r5p0-01rel0/driver/src/devicedrv/mali] Error 2
make[1]: Leaving directory '/usr/lib/modules/4.0.0-rc2-1-ARCH/build'
Makefile:174: recipe for target 'all' failed
make: *** [all] Error 2')
So yes, the header-file sync.h is not on the system.
Has the sync.h something to do with the android staging-driver in linux-kernel?
And is it possible to build mali on this kernel at all?
regards
MichaeL