> Then the portability issue will have been fixed once and for all

That’s just not true. These targets may make different assumptions about various low level things such as memory ordering, byte-width, behavior on overflow, etc. While C might be okay to defer to the architecture on these questions, Rust is more strict.

I personally think you’ll just end up with a bunch of broken binaries.