/config/coreboot/w500_16mb/config/