Search for Kernel headers

Depending on the distrubtion, kernel headers might be in different
locations (newer Debian, *Ubuntu). This patch searches possible
locations.