Would you consider making a Raspbian build?
It would be really nice for people who make retro gaming consoles using raspberry pis. The cross-compiling toolchains are quite mature now and it shouldn’t be too much trouble to adapt your existing amd64 build process.
Thanks for considering it!
edit the 4Gb RAM requirement probably makes this impossible