It looks like the community had the same thought. I follow the arch-ports mailing list and there is discussion right now about a community maintained 32-bit por

It looks like the community had the same thought. I follow the arch-ports mailing list and there is discussion right now about a community maintained 32-bit port. They've registered a github account (https://github.com/archlinux32 https://github.com/archlinux32) but there isn't any activity yet.