The temporary directory names, debian/hdrtmp (linux-headers package)
vs debian/headertmp (linux-libc-dev package), are confusing.

Matching the directory name to the package name is clearer, IMHO.
Signed-off-by: NMasahiro Yamada <masahiroy@kernel.org>