编译模块 make modules, 报错ERROR: "mali_platform_device_register"

大家好,

根据下面的网址 去编译 Ubuntu 14.04 固件和modules; 注: 使用的Android 5.1 SDK 源码.
http://www.t-firefly.com/doc/product/info/id/56.html#420E4BFAEE694B920parameter20E69687E4BBB6

执行make modules 遇到下面的错误; 请问如何解决?

make modules
CHK include/generated/uapi/linux/version.h
CHK include/generated/utsrelease.h
CC scripts/mod/devicetable-offsets.s
make[1]: include/generated/mach-types.h' is up to date. GEN scripts/mod/devicetable-offsets.h HOSTCC scripts/mod/file2alias.o CALL scripts/checksyscalls.sh HOSTLD scripts/mod/modpost make[1]: arch/arm/boot/dts/firefly-rk3288-linux.dtb’ is up to date.
CHK include/generated/compile.h
GEN drivers/video/rockchip/screen/lcd.h
Kernel: arch/arm/boot/Image is ready
Kernel: arch/arm/boot/zImage is ready
Image: kernel.img is ready
Pack to resource.img successed!
Image: resource.img (with firefly-rk3288-linux.dtb logo.bmp ) is ready
user@ubuntu:~/ubuntu14.04/kernel$ make modules
CHK include/generated/uapi/linux/version.h
CHK include/generated/utsrelease.h
make[1]: `include/generated/mach-types.h’ is up to date.
CALL scripts/checksyscalls.sh
CC scripts/mod/devicetable-offsets.s
GEN scripts/mod/devicetable-offsets.h
HOSTCC scripts/mod/file2alias.o
HOSTLD scripts/mod/modpost
Building modules, stage 2.
MODPOST 5 modules
ERROR: “mali_platform_device_register” [drivers/gpu/arm/mali400/mali/mali.ko] undefined!
ERROR: “mali_platform_device_unregister” [drivers/gpu/arm/mali400/mali/mali.ko] undefined!
make[1]: *** [__modpost] Error 1
make: *** [modules] Error 2

选上
→ Device Drivers
→ Graphics support
→ Using device tree to initialize module