/resources/coreboot/hp8200sff_4mb/
../
board.cfg
config