/resources/coreboot/kgpe-d16-udimm-nopcirom_16mb/
../
board.cfg
config