I followed the instructions at http://nanopi.org/nanopi_development.html. However, the produced kernel does not boot. There is simply no output after u-boot runs. I copied arch/arm/boot/zImage to the first partition of the SD card. There is no resource I could find to generate a new dtb for the new kernel.

I also tried the mainline kernel, the Xenial kernel, and a kernel from a linux-sunxi developer.