Missing linux header file

Change-Id: I504b207857dfd3e296f7f9b7f698312a996c48e5