Fix to Allow Tuna Kernel to build Linaro