Move module tools to separate deb, add armhf support

- Move module building tools to linux-kbuild package: linux-headers
depend on this. Basically the same way how Debian handles these tools.
- Add "fake" armhf support: The kernel image is still an ARM64 binary
inside, but the userspace tools are armhf. This'll allow using a 64-bit
kernel with 32-bit userspace, without resorting to funny multiarch

Change-Id: Idbfebdcd845e65c00b45076c2b7e85048f2af534
2 files changed
tree: 3625077996f34d366ca417870c1ffc89e13d7853
  1. debian/