/projects/coreboot/configs/seabios/t500_4mb/