/resources/coreboot/t440plibremrc_12mb/
../
board.cfg
config