[coreboot] BadRAM generic support in CoreBoot?