Check for kernel source and determine which headers to include

Change-Id: I21000f9bca30a5ff93f646a988977121dbafd953