/resources/coreboot/t400_4mb/config/