Kernel compiling fix [1/2]

Change-Id: I8effc35ceb9c6ead06f6ec2ae0de08e497558e45