Change to allow kernel to be compiled with Linaro

Change-Id: Ief45eea71c773b5c637876577058f543652edbde