Remove references to KERNEL_HEADERS.

You get these for free, and this is no longer the right way to
get the correct ones.

Change-Id: I282565355200d5f9a0861bb6cf581e8a7a08cb6e
1 file changed