Re: [arch-ports] 32bit support