idris2: fix order for moving binaries
First draft version of Idris2 pkg
u-boot-rock5b: Add support for Radxa Rock5B SBC
You can also use your local clone with git send-email.