fixed bug selecting ia32 on raspi