Re: [CentOS-devel] Centos 7, 32 bits edition