/config/coreboot/dell3040micro_vfsp_16mb/