Re: [opensuse-factory] kernel pae on 64bit?