/resources/coreboot/kfsn4-dre_2mb/
../
board.cfg
config