Re: [CentOS-devel] 32-bit CentOS 7 - can I help?