/projects/coreboot/configs/t400/4mb/