/config/coreboot/kgpe_d16_udimm_16mb/

• ../
• config
• target.cfg