/resources/coreboot/t440p_12mb_cbfs4mb/
../
board.cfg
config