/projects/coreboot/configs/x200/16MiB/