first of all: Thanks! (I wanted to install archlinux on some old 32-bit system and was a little disappointed to see that official archlinux stopped 32-bit support. After a short search I came here and was (and am) really glad, that this great community exists!)