/resources/coreboot/kgpe-d16-rdimm-nopcirom_2mb/config/