/resources/coreboot/x200_16mb/config/