Fix kernel build

Change-Id: Id68764ecf37daf96d8935b3d8cec958163974813