/resources/coreboot/t400_16mb/config/