/resources/coreboot/w500_4mb/config/