/projects/coreboot/configs/seabios/r400_4mb/