Salvo Nice

Hi, thank you for your work! Only one question, is this supposed to work also for Rockchip RK3399T? I have a RockPi 4c + which has this variant. But I also noticed that legacy Armbian is not available for this board, maybe I have to build it myself