Allow Kernel to build with Linaro 4.7