Fix for kernel building

Change-Id: Ifd731a7333d7faeececedd8999d9a556b64381e8