An unofficial Debian Installer for Pinebook Pro

[rillian]

In Debian's repos I see u-boot-rockchip, should I install it?

As far as I can tell, this package contains a bootloader image, but doesn't automatically install any updates. So it's a way to get a recent build, but you have to copy it to the correct partition manually. No more convenient than downloading it from github., unfortunately. Either way, I would test it on a spare sdcard before updating your main image.