Fix compilation when not building kernel

Change-Id: I9c481344ff7f228c0c45ac8581d92cbfb52b173f