Re: [opensuse-kernel] BadRAM patch for kernel