configure: read kernel header location from environment variable
configure: read kernel header location from environment variable

otherwise use "/usr/include" as default

klee/klee-uclibc,klee/klee-uclibc,klee/klee-uclibc,klee/klee-uclibc