Allow usage of kernel headers

Change-Id: I9fa11bd72fa632551679d8b13a89cccbaae53e77