I have my RK3399-based device booting with my own working kernel and device tree. I want to erase the root partition and install Debian from one of the official ARM distros, but I'm not sure how to do this. Obviously, I can't just boot into the Debian installer like on an X86 machine. What I think I...