Re: [opensuse-kernel] keeping 32 bit (was: Keep 3.11.y kernel...)