/config/coreboot/kgpe-d16-udimm_2mb/
../
config
target.cfg