Allow usage of kernel headers

Change-Id: Ie8ede5469ebd15f108588609f9664518c960a026