kernel/linux: allow headers from full custom source tree

Accept a local tarball name as the source of the Linux kernel headers,
rather than forcing the user to use either an upstream tarball, or a
local pre-installed headers tree.

 reporter_name="Alexander BIGGA"

 reporter_url="http://sourceware.org/ml/crossgcc/2008-07/msg00000.html"

 reporter_comment=""