kernel: compilation fixes

Change-Id: I79d322347a0c60788ba01930e198318d6e641818