tree eb5927a55b5cf62b5597b5ee7a74d3b8075d6ca3
parent 5baf71567c3f916cbfd2c8f849527ba2d676d63d
author Alex Van Damme <atv@google.com> 1528768227 -0700
committer Alex Van Damme <atv@google.com> 1528827160 -0700

Build kernel using make-kpkg

- Use make-kpkg to build both the kernel and headers dpkgs.
- Install those into the rootfs instead of copying the Image/modules dir
- kernel-overlay contains a few tweaked files from
/usr/share/kernel-package -- these will be automatically used instead of
the stock ones
- Embiggen the boot partition - installing through apt requires space to
temporarily back-up the old kernel file. It's ~20M, so we need at least
40M -- 128M just to not have to do this again (hopefully).

Change-Id: I23573438774efe3d221210f45833cd15d5ca36a3