Add support for custom kernel headers

Change-Id: I39fe4de8919e59dd75e8cb535fa0648948035c26