/config/coreboot/kgpe-d16-rdimm