This should be a long-term solution to armbian/community#39. Adds a rockchip64 BOOT_SCENARIO for binman with mainline ATF and puts it to use for the rock4-se board config. Tested on my hardware, boots successfully.