/resources/coreboot/t440p_12mb/config/