Re: [opensuse] Re: 64bit gone sour, downgrade to 32bit, how?