tree c9d094c15d23d716207bf14df3eaa12b2045fb83
parent 2394d8e5ae0e164b459a55551479259bf50377ce
author Joel Stanley <joel@jms.id.au> 1575260499 +1030
committer Brad Bishop <bradleyb@fuzziesquirrel.com> 1575385654 +0000

Drop STAGING_KERNEL_DIR

The Linux kernel userspace headers must be installed, not included
directly from the kernel source tree:

 The correct way to package the header files for a distribution is to
 run 'make headers_install' from the kernel source directory to install
 the headers into /usr/include and then rebuild the C library package,
 with a dependency on the specific version of the just installed kernel
 headers.

Luckily the header used by these two applications is shipped in the
kernel used to build the userspace headers, so the hack of including the
source tree has not been required for some time.

Signed-off-by: Joel Stanley <joel@jms.id.au>
Change-Id: I867be485c47de3eac60b029092b4eb17b22a905f