/config/coreboot/kgpe_d16_16mb/

• ../
• config
• target.cfg