Fix kernel build failure on some devices and build hosts

Change-Id: Ib6ba53994b4e04503ee4636a6aaab9c0bc3f676c
1 file changed