/projects/coreboot/configs/x200_8mb/