Missing headers in arm 3.8.11

[lyons88]

I'm trying to build the Sheepnet.ko for BasikiskII, but your header package for arm seems to be missing quite a few header files for arm.

Among these so far

mach/memory.h
plat/irqs.h
platforms.h
types.h

I'm not sure if I build the headers myself if it will include them, I fallowed the guide https://github.com/dnschneid/crouton/wiki/Build-kernel-headers-and-install-Virtualbox-(x86), but when I issue the command:

make-kpkg --rootcmd fakeroot kernel_image kernel_headers

It bombs out with this error:

CC drivers/gpu/arm/midgard/platform/chromebook/mali_kbase_config_chromebook.o drivers/gpu/arm/midgard/platform/chromebook/mali_kbase_config_chromebook.c: In function ‘pm_callback_suspend’: drivers/gpu/arm/midgard/platform/chromebook/mali_kbase_config_chromebook.c:1724:32: error: ‘level’ may be used uninitialized in this function [-Werror=uninitialized] drivers/gpu/arm/midgard/platform/chromebook/mali_kbase_config_chromebook.c:1710:9: note: ‘level’ was declared here drivers/gpu/arm/midgard/platform/chromebook/mali_kbase_config_chromebook.c: In function ‘kbase_platform_cmu_pmu_control’: /home/jam/Downloads/kernel/arch/arm/include/asm/io.h:107:2: error: ‘g3d_status_reg’ may be used uninitialized in this function [-Werror=uninitialized] drivers/gpu/arm/midgard/platform/chromebook/mali_kbase_config_chromebook.c:608:8: note: ‘g3d_status_reg’ was declared here /home/jam/Downloads/kernel/arch/arm/include/asm/io.h:107:2: error: ‘g3d_status_reg’ may be used uninitialized in this function [-Werror=uninitialized] drivers/gpu/arm/midgard/platform/chromebook/mali_kbase_config_chromebook.c:641:8: note: ‘g3d_status_reg’ was declared here cc1: all warnings being treated as errors make[7]: *** [drivers/gpu/arm/midgard/platform/chromebook/mali_kbase_config_chromebook.o] Error 1 make[6]: *** [drivers/gpu/arm/midgard/platform/chromebook] Error 2 make[5]: *** [drivers/gpu/arm/midgard/platform] Error 2 make[4]: *** [drivers/gpu/arm/midgard] Error 2 make[3]: *** [drivers/gpu/arm] Error 2 make[2]: *** [drivers/gpu] Error 2 make[1]: *** [drivers] Error 2

Any idea how I can get around this error?