Allow use of kernel headers

Change-Id: I2137c7431f04a87f4b2d485dfe3f925106b112ef