/projects/coreboot/configs/seabios/w500_4mb/