/config/coreboot/kgpe_d16_rdimm