/projects/coreboot/configs/seabios/t400_4mb/