Don't abuse KERNEL_HEADERS.

You get the right ones for free, and this would be wrong on multi-arch.

Change-Id: I832ae5343bfa24a9c45a305afa62a0cf4ac75615
1 file changed