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="Thomas Petazzoni"

 reporter_url="http://www.free-electrons.com/"

 reporter_comment="Very basic testing only"