/resources/coreboot/e6400_4mb/config/