Allow usage of kernel headers

Change-Id: Ie8ede5469ebd15f108588609f9664518c960a026
Merge pull request #1 from arco/cm-10.1

Allow usage of kernel headers