commit dbe4e3f994874dab1cf0251dd62a04dc5804ab7c
author Alex Van Damme <atv@google.com> Wed Oct 17 15:08:41 2018 -0700
committer Alex Van Damme <atv@google.com> Wed Oct 17 15:30:14 2018 -0700
tree 3625077996f34d366ca417870c1ffc89e13d7853
parent 4a964df844e1f7ba146b691c5c56421d14c110bd

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
userspaces.

Change-Id: Idbfebdcd845e65c00b45076c2b7e85048f2af534