Arch Linux 2017.02.1, la última imagen ISO para ordenadores de 32 bits