/config/coreboot/kgpe_d16_2mb/
../
config
target.cfg