Fix compilation when not building kernel

Change-Id: I61e701e8dc1d4a5f9802a99aff149b35fc1ad548