No. I can't.
And I won't, even if I could. Sorry.
I gave directions. And showed that it works. That'll be it.
It requires quite a skill set and energy to bring it all together. And to provide a generic well tested package.
What's required is a new 64-bit ALARM package with RPI kernel and 64bit userland.
Now. Looking back. It doesn't seem to be that complex.
We (you) should somehow convince the ALARM folks in charge to build a package.
And I even havn't been checking out the PI4 situation yet. It seems that the 64-bit Alarm RPI3 package can't be used.