/config/coreboot/dell3050micro_fsp_16mb/config/