Does either the Rock64 or RockPro64 run mainline Debian with the Debian generic arm64 kernel yet? Or do you have to use a board-specific kernel like the ones that Armbian provides?