/projects/coreboot/configs/x200/4mb/textmode/seabios/