Fix kernel header inclusion

Change-Id: Ibe8771514147cc9292cbc0a005bd210dec8cbd26