I've pushed several commits to GitHub. The notable changes are that a new script debug mode is now supported which provides verbose output, the default kernel has been updated to 4.7-rc4 from Pali's repo and the kernel is now installed as a deb file.

By installing the kernel as a deb file, it's now much easier to test new kernels. Installation of the deb file will append the device tree to the kernel image and create the U-Boot image automatically. Creation of the initrd images is triggered automatically after the kernel has been installed. This means that you now just need to copy the deb file over and install it (and don't forget to update U-Boot!). Deb files for headers, dbg and libc dev are also built. You'll need to make sure that your build system can build deb files!

I've just noticed a regression with the 4.7-rc4 kernel in that the mouse cursor movement is inverted on the Y axis so I may revert the default kernel to an earlier version.

Nothing really, however I've not tested it.