/projects/coreboot/configs/seabios/x200_16mb/