Re: [coreboot] BadRAM generic support in CoreBoot?